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: Journal=Acta Inf. AND YEAR=1993
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Program refinement in fair transition systems
Ambuj K. Singh
Acta Informatica
30
, 1993, pp. 503-535
Proving termination of (conditional) rewrite systems. A semantic approach
Eddy Bevers
,
Johan Lewi
Acta Informatica
30
, 1993, pp. 537-568
An algebraic semantics of higher-order types with subtypes
Zhenyu Qian
Acta Informatica
30
, 1993, pp. 569-607
Models for reactivity
Zohar Manna
,
Amir Pnueli
Acta Informatica
30
, 1993, pp. 609-678
Querying datalog programs with temporal logic
Alexander Tuzhilin
Acta Informatica
30
, 1993, pp. 679-700
Normal form approach to compiler design
C.A.R. Hoare
,
He Jifeng
,
A. Sampaio
Acta Informatica
30
, 1993, pp. 701-739
Extended nested relations
Héctor J. Hernández
Acta Informatica
30
, 1993, pp. 741-771
A characterisation of meet and join respecting pre-orders and congruences on finite lattices
John Buckle
Acta Informatica
30
, 1993, pp. 773-785
Seiten
<
1
2