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=Theor.~Comput.~Sci. AND Volume=155
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Fixed-point operations on ccc's. Part I
Stephen L. Bloom
,
Zoltán Ésik
Theoretical Computer Science
155
(1), 1996, pp. 1-8
Locality and interleaving semantics in calculi for mobile processes
Davide Sangiorgi
Theoretical Computer Science
155
(1), 1996, pp. 39-83
A useful
\lambda
-notation
Fairouz Kamareddine
,
Rob Nederpelt
Theoretical Computer Science
155
(1), 1996, pp. 85-109
The expressiveness of a family of finite set languages
Neil Immerman
,
Sushant Patnaik
,
David Stemple
Theoretical Computer Science
155
(1), 1996, pp. 111-140
G-networks with multiple classes of negative and positive customers
Jean-Michel Fourneau
,
Erol Gelenbe
,
Rina Suros
Theoretical Computer Science
155
(1), 1996, pp. 141-156
Computing minimal models by partial instantiation
Vadim Kagan
,
Anil Nerode
,
V.S. Subrahmanian
Theoretical Computer Science
155
(1), 1996, pp. 157-177
From CML to its process algebra
Flemming Nielson
,
Hanne Riis Nielson
Theoretical Computer Science
155
(1), 1996, pp. 179-219
Quasi-prime algebraic domains
Guo-Qiang Zhang
Theoretical Computer Science
155
(1), 1996, pp. 221-264
Two beta-equal lambda-I-terms with no types in common
M.W. Bunder
,
J.R. Hindley
Theoretical Computer Science
155
(1), 1996, pp. 265-266
Uniqueness of Scott's reflexive domain in
P\omega
Thomas Drakengren
Theoretical Computer Science
155
(1), 1996, pp. 267-276
Number of models and satisfiability of sets of clauses
Wenhui Zhang
Theoretical Computer Science
155
(1), 1996, pp. 277-288
Valentin Antimirov (1961-1995) (obituary)
Gregory Kucherov
,
Pierre Lescanne
,
Peter Mosses
Theoretical Computer Science
155
(2), 1996, pp. 289-290
Partial derivatives of regular expressions and finite automaton constructions
Valentin Antimirov
Theoretical Computer Science
155
(2), 1996, pp. 291-319
Reconstructing convex polyominoes from horizontal and vertical projections
Elena Barucci
,
Alberto Del Lungo
,
Maurice Nivat
,
Renzo Pinzani
Theoretical Computer Science
155
(2), 1996, pp. 321-347
Fast rehashing in PRAM emulations
Jörg Keller
Theoretical Computer Science
155
(2), 1996, pp. 349-363
Monotonic and dual monotonic language learning
Steffen Lange
,
Thomas Zeugmann
,
Shyam Kapur
Theoretical Computer Science
155
(2), 1996, pp. 365-410
Time lower bounds do not exist for CRCW PRAMs
Kazuo Iwama
,
Chuzo Iwamoto
,
Manzur Morshed
Theoretical Computer Science
155
(2), 1996, pp. 411-424
A note on binary grammatical codes of trees
Andrzej Ehrenfeucht
,
Paulien ten Pas
,
Grzegorz Rozenberg
Theoretical Computer Science
155
(2), 1996, pp. 425-438
Local languages and the Berry-Sethi algorithm
Jean Berstel
,
Jean-Eric Pin
Theoretical Computer Science
155
(2), 1996, pp. 439-446
Reducibility classes of
P
-selective sets
Lane A. Hemaspaandra
,
Albrecht Hoene
,
Mitsunori Ogihara
Theoretical Computer Science
155
(2), 1996, pp. 447-457