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=122
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Observable behaviors and equivalences of logic programs
Maurizio Gabbrielli
,
Giorgio Levi
,
Maria Chiara Meo
Information and Computation
122
(1), 1995, pp. 1-29
Decidability of systems of set constraints with negative constraints
Alexander Aiken
,
Dexter Kozen
,
Ed Wimmers
Information and Computation
122
(1), 1995, pp. 30-44
Recurrence domains: Their unification and application to logic programming
Hong Chen
,
Jieh Hsiang
Information and Computation
122
(1), 1995, pp. 45-69
Principal types and unification for simple intersection type systems
Mario Coppo
,
Paola Giannini
Information and Computation
122
(1), 1995, pp. 70-96
A causal operational semantics of action refinement
Pierpaolo Degano
,
Roberto Gorrieri
Information and Computation
122
(1), 1995, pp. 97-119
On some decision problems in programming
Dieter Spreen
Information and Computation
122
(1), 1995, pp. 120-139
String matching under a general matching relation
S. Muthukrishnan
,
H. Ramesh
Information and Computation
122
(1), 1995, pp. 140-148
Nondeterministic extensions of untyped
\lambda
-calculus
Ugo de'Liguoro
,
Adolfo Piperno
Information and Computation
122
(2), 1995, November, pp. 149-177
Oracle semantics for Prolog
Roberto Barbuti
,
Michael Codish
,
Roberto Giacobazzi
,
Michael J. Maher
Information and Computation
122
(2), 1995, November, pp. 178-200
Pebble games and subroutines in least fixed point logic
G.L. McColm
Information and Computation
122
(2), 1995, November, pp. 201-220
On the undecidability of implications between embedded multivalued database dependencies
Christian Herrmann
Information and Computation
122
(2), 1995, November, pp. 221-235
Read-twice DNF formulas are properly learnable
Krishnan Pillaipakkamnatt
,
Vijay Raghavan
Information and Computation
122
(2), 1995, November, pp. 236-267
A categorical linear framework for Petri nets
Carolyn Brown
,
Doug Gurr
Information and Computation
122
(2), 1995, November, pp. 268-285
An effective axiomatization for real time ACP
Wan Fokkink
,
Steven Klusener
Information and Computation
122
(2), 1995, November, pp. 286-299