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: Author="Tucker, J.V."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Continuity of operators on continuous and discrete time streams
J.V. Tucker
,
J.I. Zucker
Theoretical Computer Science
412
(28), 2011, pp. 3378-3403
Meadows and the equational specification of division
J.A. Bergstra
,
Y. Hirshfeld
,
J.V. Tucker
Theoretical Computer Science
410
(12-13), 2009, pp. 1261-1271
Division safe calculation in totalised fields
J.A. Bergstra
,
J.V. Tucker
Theory of Computing Systems
43
(3-4), 2008, pp. 410-424
The rational numbers as an abstract data type
J.A. Bergstra
,
J.V. Tucker
Journal of the ACM
54
(2), 2007, pp. 7: 1-25
Domain representations of partial functions, with applications to spatial objects and constructive volume geometry
J. Blanck
,
V. Stoltenberg-Hansen
,
J.V. Tucker
Theoretical Computer Science
284
(2), 2002, pp. 207-240
Computation by ``While'' programs on topological partial algebras
J.V. Tucker
,
J.I. Zucker
Theoretical Computer Science
219
(1-2), 1999, pp. 379-420
Algebraic models of microprocessors architecture and organisation
N.A. Harman
,
J.V. Tucker
Acta Informatica
33
(5), 1996, pp. 421-456
Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
J.A. Bergstra
,
J.V. Tucker
Journal of the ACM
42
(6), 1995, pp. 1194-1230
Theory of computation over stream algebras, and its applications
J.V. Tucker
,
J.I. Zucker
Lecture Notes in Computer Science
629
, 1992, pp. 62-80
Algebraic and fixed point equations over inverse limits of algebras
Viggo Stoltenberg-Hansen
,
J.V. Tucker
Theoretical Computer Science
87
, 1991, pp. 1-24
Projections of semicomputable relations on abstract data types
J.V. Tucker
,
J.I. Zucker
International Journal of Foundations of Computer Science
2
(3), 1991, pp. 267-296
Provable computable functions on abstract data types
J.V. Tucker
,
S.S. Wainer
,
J.J. Zucker
Lecture Notes in Computer Science
443
, 1990, pp. 660-673
Horn programs and semicomputable relations on abstract structures
J.V. Tucker
,
J.I. Zucker
Lecture Notes in Computer Science
372
, 1989, pp. 745-760
The concurrent assignment representation of synchronous systems
A.R. Martin
,
J.V. Tucker
Parallel Computing
9
(2), 1988/89, pp. 227-256
Algebraic specifications of computable and semicomputable data types
J.A. Bergstra
,
J.V. Tucker
Theoretical Computer Science
50
(2), 1987, pp. 137-181
Hoare's logic for programming languages with two data types
J.A. Bergstra
,
J.V. Tucker
Theoretical Computer Science
28
(1,2), 1984, pp. 215-221
The axiomatic semantics of programs based on Hoare's logic
J.A. Bergstra
,
J.V. Tucker
Acta Informatica
21
(3), 1984, pp. 293-320
Hoare's logic and Peano's arithmetic
J.A. Bergstra
,
J.V. Tucker
Theoretical Computer Science
22
(3), 1983, pp. 265-284
Initial and final algebra semantics for data type specifications: two characterization theorems
J.A. Bergstra
,
J.V. Tucker
SIAM Journal on Computing
12
(2), 1983, May, pp. 366-387
Complexity theory and the operational structure of algebraic programming systems
P.R.J. Asveld
,
J.V. Tucker
Acta Informatica
17
(4), 1982, pp. 451-476
Floyd's principle, correctness theories and program equivalence
J.A. Bergstra
,
J. Tiuryn
,
J.V. Tucker
Theoretical Computer Science
17
, 1982, pp. 113-149
The Completeness of the Algebraic Specification Methods for Computable Data Types
J.A. Bergstra
,
J.V. Tucker
Information and Control
54
(3), 1982, pp. 186-200
Expressiveness and the completeness of Hoare's logic
J.A. Bergstra
,
J.V. Tucker
Journal of Computer and System Sciences
25
(3), 1982, December, pp. 267-284
Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs
J.A. Bergstra
,
J.V. Tucker
Theoretical Computer Science
17
, 1982, pp. 303-315
Two theorems about the completeness of Hoare's logic
J.A. Bergstra
,
J.V. Tucker
Information Processing Letters
15
(4), 1982, October, pp. 143-149
Seiten 1
2
>