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
[1]
Hilfe
Suche: Author="Trakhtenbrot, B.A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
From finite automata toward hybrid systems
A. Rabinovich
,
B.A. Trakhtenbrot
Lecture Notes in Computer Science
1279
, 1997, pp. 411-422
Connectedness and synchronization
A. Mazurkiewicz
,
A. Rabinovich
,
B.A. Trakhtenbrot
Theoretical Computer Science
90
, 1991, pp. 171-184
Communication among relations
A. Rabinovich
,
B.A. Trakhtenbrot
Lecture Notes in Computer Science
443
, 1990, pp. 294-307
From denotational to operational and axiomatic semantics for Algol-like languages: an overview
B.A. Trakhtenbrot
,
J.Y. Halpern
,
A.R. Meyer
Technical Report (MIT/LCS/TM 246), 1983, October
On relaxation rules in algorithmic logic
B.A. Trakhtenbrot
Lecture Notes in Computer Science
74
, 1979, pp. 453-462
Frequency algorithms and computations
B.A. Trakhtenbrot
Lecture Notes in Computer Science
53
, 1977, pp. 148-161
Recursive program schemes and computable functionals
B.A. Trakhtenbrot
Lecture Notes in Computer Science
45
, 1976, pp. 137-152
On problems solvable by successive trials
B.A. Trakhtenbrot
Lecture Notes in Computer Science
32
, 1975, pp. 125-137