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=Inf.~Comput. AND Volume=125
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Complexity of generalized satisfiability counting problems
Nadia Creignou
,
Miki Hermann
Information and Computation
125
(1), 1996, pp. 1-12
Completeness and weak completeness under polynomial-size circuits
David W. Juedes
,
Jack H. Lutz
Information and Computation
125
(1), 1996, pp. 13-31
Monadic second-order logic over rectangular pictures and recognizability by tiling systems
Dora Giammarresi
,
Antonio Restivo
,
Sebastian Seibert
,
Wolfgang Thomas
Information and Computation
125
(1), 1996, pp. 32-45
The undecidability of second order multiplicative linear logic
Yves Lafont
,
Andre Scedrov
Information and Computation
125
(1), 1996, pp. 46-51
Scheduling jobs using common resources
Judit Bar-Ilan
,
David Peleg
Information and Computation
125
(1), 1996, pp. 52-61
Branching-time temporal logic and tree automata
Orna Kupferman
,
Orna Grumberg
Information and Computation
125
(1), 1996, pp. 62-69
On random hard sets for NP
Ronald V. Book
,
Osamu Watanabe
Information and Computation
125
(1), 1996, pp. 70-76
A theory of primitive objects: Untyped and first-order systems
MartÃn Abadi
,
Luca Cardelli
Information and Computation
125
(2), 1996, pp. 78-102
A symmetric lambda calculus for classical program extraction
Franco Barbanera
,
Stefano Berardi
Information and Computation
125
(2), 1996, pp. 103-117
Comparing syntactic and semantic action refinement
Ursula Goltz
,
Roberto Gorrieri
,
Arend Rensink
Information and Computation
125
(2), 1996, pp. 118-143
Normal proofs and their grammar
Masako Takahashi
,
Yohji Akama
,
Sachio Hirokawa
Information and Computation
125
(2), 1996, pp. 144-153
Proof lengths for equational completion
David A. Plaisted
,
Andrea Sattler-Klein
Information and Computation
125
(2), 1996, pp. 154-170