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: Author="Marcus, Leo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Expressibility of ouptut equals input. Negative and positive results
Leo Marcus
,
Telis Menas
Acta Informatica
29
, 1992, pp. 645-662
Existene, uniqueness, and construction of rewrite systems
Nachum Dershowitz
,
Leo Marcus
,
Andrzej Tarlecki
SIAM Journal on Computing
17
, 1988, pp. 629-639