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=114
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Polymorphic rewriting conserves algebraic confluence
Val Breazu-Tannen
,
Jean Gallier
Information and Computation
114
(1), 1994, October, pp. 1-29
The ant-lion paradigm for strong normalization
Corrado Böhm
,
Benedetto Intrigila
Information and Computation
114
(1), 1994, October, pp. 30-49
Reduction and synthesis of live and bounded free choice Petri nets
Javier Esparza
Information and Computation
114
(1), 1994, October, pp. 50-87
A formal model of hierarchical concept learning
Ronald L. Rivest
,
Robert Sloan
Information and Computation
114
(1), 1994, October, pp. 88-114
Two fast parallel prime number sieves
Jonathan Sorenson
,
Ian Parberry
Information and Computation
114
(1), 1994, October, pp. 115-130
The algebra of timed processes,
ATP
: Theory and application
Xavier Nicollin
,
Joseph Sifakis
Information and Computation
114
(1), 1994, October, pp. 131-178
Approximate inference and scientific method
Mark Fulk
,
Sanjay Jain
Information and Computation
114
(2), 1994, November, pp. 179-191
Finite-state unification automata and relational languages
Yael Shemesh
,
Nissim Francez
Information and Computation
114
(2), 1994, November, pp. 192-213
Computing boolean functions on anonymous networks
Evangelos Kranakis
,
Danny Krizanc
,
Jacob van den Berg
Information and Computation
114
(2), 1994, November, pp. 214-236
The infinite 2-star height hierarchy of extended regular languages of star degree at most two
Kosaburo Hashiguchi
Information and Computation
114
(2), 1994, November, pp. 237-246
Flow models of distributed computations: Three equivalent semantics for CCS
Gérard Boudol
,
Ilaria Castellani
Information and Computation
114
(2), 1994, November, pp. 247-314
Combinatorial properties of dependence graphs
A. Ehrenfeucht
,
H.J. Hoogeboom
,
G. Rozenberg
Information and Computation
114
(2), 1994, November, pp. 315-328
A denotational semantics of inheritance and its correctness
William Cook
,
Jens Palsberg
Information and Computation
114
(2), 1994, November, pp. 329-350