 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Sabelfeld/80" |
|
The logic-termal equivalence is polynomial-time decidable
V.K. Sabelfeld
Information Processing Letters 10 (2), 1980, March, pp. 57-62
| Publisher: | North-Holland Publishing Company | |
| Address: | Amsterdam-New York-Oxford-Tokyo | |
| Institution: | Computing Center, Acad. of Sci., Novosibirsk, USSR | |
|
|
|
|