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
[1]
Hilfe
Suche: Author="Mints, G."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A termination proof for epsilon substitution using partial derivations
G. Mints
Theoretical Computer Science
303
(1), 2003, pp. 187-213
Existential instantiation and strong normalization
G. Mints
Lecture Notes in Computer Science
1234
, 1997, pp. 258-265
The programming system PRIZ
G. Mints
,
E. Tyugu
Journal Symbolic Computation
5
(3), 1988, pp. 359-375
Some formal systems of the logic programming
G.E. Mints
Lecture Notes in Computer Science
278
, 1987, pp. 318-322
Semantics of a declarative language
G. Mints
,
E. Tyugu
Information Processing Letters
23
(3), 1986, October, pp. 147-151