Elementary algebraic specifications of the rational function field

Authors
Publication date 2006
Host editors
  • A. Beckmann
  • U. Berger
  • B. Löwe
  • J.V. Tucker
Book title Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Volume | Issue number 3988
Pages (from-to) 40-54
Publisher Springer-Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Note conf/cie/PonseZ06
Permalink to this page
Back