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=J. Comput.~Syst.~Sci. AND Volume=34
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
D. Cantone
,
A. Ferro
,
J.T. Schwartz
Journal of Computer and System Sciences
34
(1), 1987, February, pp. 1-18
Upper bounds for time-space trade-offs in sorting and selection
G.N. Frederickson
Journal of Computer and System Sciences
34
(1), 1987, February, pp. 19-26
Expressive completeness failure in branching time structures
A. Amir
Journal of Computer and System Sciences
34
(1), 1987, February, pp. 27-42
River routing in VLSI
A. Mirzaian
Journal of Computer and System Sciences
34
(1), 1987, February, pp. 43-54
An analysis of the nonemptiness problem for classes of reversal-bounded multicounter machines
Rodney R. Howell
,
Louis E. Rosier
Journal of Computer and System Sciences
34
(1), 1987, February, pp. 55-74
A note on the two-variable pattern-finding problem
Ker-I Ko
,
Chin-Ming Hua
Journal of Computer and System Sciences
34
(1), 1987, February, pp. 75-86
Basic tree transducers
H. Vogler
Journal of Computer and System Sciences
34
(1), 1987, February, pp. 87-128
Succinct representation of regular sets using gotos and Boolean variables
K.R. Abrahamson
Journal of Computer and System Sciences
34
(1), 1987, February, pp. 129-148
On observational equivalence and algebraic specification
D. Sannella
,
A. Tarlecki
Journal of Computer and System Sciences
34
(2-3), 1987, April, pp. 150-178
Parameter-preserving data type specifications
P. Padawitz
Journal of Computer and System Sciences
34
(2-3), 1987, April, pp. 179-209
Bisimulations and abstraction homomorphisms
I. Castellani
Journal of Computer and System Sciences
34
(2-3), 1987, April, pp. 210-235
Specification and top-down design of distributed systems
M. Broy
Journal of Computer and System Sciences
34
(2-3), 1987, April, pp. 236-265
Why Horn formulas matter in computer science: initial structures and generic examples
J.A. Makowsky
Journal of Computer and System Sciences
34
(2-3), 1987, April, pp. 266-292
Algebraic specification of modules and their basic interconnections
E.K. Blum
,
H. Ehrig
,
F. Parisi-Presicce
Journal of Computer and System Sciences
34
(2-3), 1987, April, pp. 293-339
On the implementation of abstract data types by programming language constructs
A. Poigne
,
J. Voss
Journal of Computer and System Sciences
34
(2-3), 1987, April, pp. 340-376
Amalgamation of graph transformations: a synchronization mechanism
P. Boehm
,
H.-R. Fonio
,
A. Habel
Journal of Computer and System Sciences
34
(2-3), 1987, April, pp. 377-408
Inductively defined functions in functional programming languages
R.M. Burstall
Journal of Computer and System Sciences
34
(2-3), 1987, April, pp. 409-421
Concurrent histories: a basis for observing distributed systems
P. Degano
,
U. Montanari
Journal of Computer and System Sciences
34
(2-3), 1987, April, pp. 422-461