F-semantics for type assignment systems
- Hirofumi Yokouchi
- 1994
- Theoretical Computer Science
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
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