Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND YEAR=1975

• \omega^+-valued algorithmic logic as a tool to investigate procedures
  H. Rasiowa
  Lecture Notes in Computer Science 28, 1975, pp. 423-450
• Call-by-value versus call-by-name: A proof-theoretic comparison
  W.P. de Roever
  Lecture Notes in Computer Science 28, 1975, pp. 451-463
• Procedures, formal computations and models
  Andrzej Salwicki
  Lecture Notes in Computer Science 28, 1975, pp. 464-484