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="Main, Michael G."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Semantic models for total correctness and fairness
Michael G. Main
,
David L. Black
Theoretical Computer Science
107
, 1993, pp. 305-332
Complete proof rules for strong fairness and strong extreme fairness
Michael G. Main
Theoretical Computer Science
111
(1-2), 1993, pp. 125-143
Results on NLC grammars with one-letter terminal alphabets
Jochen Hoffmann
,
Michael G. Main
Theoretical Computer Science
73
, 1990, pp. 279-294
Edge-label controlled graph grammars
Michael G. Main
,
Grzegorz Rozenberg
Journal of Computer and System Sciences
40
, 1990, pp. 188-228
Detecting leftmost maximal periodicities
Michael G. Main
Discrete Applied Mathematics
25
, 1989, pp. 145-153