F-semantics for type assignment systems
- Hirofumi Yokouchi
- 1994
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
132 results at Theoretical Computer Science
Tolerating faults in a mesh with a row of spare nodes
- Jehoshua Bruck
- Robert Cypher
- et al.
- 1994
- Theoretical Computer Science
Deriving algorithms on reconfigurable networks based on function decomposition
- Gen-Huey Chen
- Biing-Feng Wang
- et al.
- 1993
- Theoretical Computer Science
Finite-model theory - a personal perspective
- 1993
- Theoretical Computer Science
On the complexity of queries in the logical data model
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1993
- Theoretical Computer Science
A transformation system for deductive database modules with perfect model semantics
- Michael J. Maher
- 1993
- Theoretical Computer Science
Fast geometric approximation techniques and geometric embedding problems
- Marshall W. Bern
- Howard J. Karloff
- et al.
- 1992
- Theoretical Computer Science
Optimal parallel algorithms for forest and term matching
- Zvi M. Kedem
- Krishna V. Palem
- 1992
- Theoretical Computer Science
A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem
- György E. Révész
- 1992
- Theoretical Computer Science
Connectedness and synchronization
- A. Mazurkiewicz
- A. Rabinovich
- et al.
- 1991
- Theoretical Computer Science