Tucker, John V., 1952-....
Tucker, J. V. (John V.), 1952-
Tucker, J.V., 1952-
Tucker, J. V. (John V.)
Tucker, J.V.
John V. Tucker Welsh computer scientist
VIAF ID: 109781685 ( Personal )
Permalink: http://viaf.org/viaf/109781685
Preferred Forms
- 100 0 _ ‡a John V. Tucker ‡c Welsh computer scientist
- 200 _ | ‡a Tucker ‡b John V. ‡f 1952-....
- 100 1 _ ‡a Tucker, J. V. ‡q (John V.)
- 100 1 0 ‡a Tucker, J. V. ‡q (John V.), ‡d 1952-
-
-
-
-
-
-
-
- 100 1 _ ‡a Tucker, John V. ‡d 1952-
- 100 1 _ ‡a Tucker, John V. ‡d 1952-...
- 100 1 _ ‡a Tucker, John V., ‡d 1952-....
4xx's: Alternate Name Forms (14)
Works
Title | Sources |
---|---|
Algebraically specified programming systems and Hoare's logic [microvorm] | |
The completeness of the algebraic specification methods for data types [microvorm] | |
Computability and the algebra of fields : some affine constructions | |
The data type variety of stack algebras | |
Equational specifications, complete term rewriting systems, and computable and semicomputable algebras | |
The field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, hoare-like logic for its while-programs [microvorm] | |
Finite algorithmic procedures and inductive definability | |
Floyd's principle, correctness theories and program equivalence [microvorm] | |
Hoare's logic and Peano's arithmetic | |
Hoare's logic for programming languages with two data types | |
inescapable stack | |
Many-sorted logic and its applications | |
A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification [microvorm] | |
On the operational structure of algebraic programming systems | |
On the refinement of specifications and Hoare's logic | |
Physical oracles : the turing machine and the wheatstone bridge | |
Process algebra with asynchronous communication mechanisms | |
Program correctness over abstract data types, with error-state semantics, 1988: | |
Prospects for hardware foundations : ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters | |
System documentation using tables : a short course | |
Theoretical foundations of VLSI design | |
Top-down design and the algebra of communicating processes | |
Two theorems about the completeness of Hoare's logic |