Sciweavers

20441 search results - page 379 / 4089
» Locally Computable Structures
Sort
View
RELMICS
2000
Springer
15 years 10 months ago
Closure Systems and their Structure
Robert E. Jamison, John L. Pfaltz
156
Voted
BANFF
1995
15 years 10 months ago
Specification Structures and Propositions-as-Types for Concurrency
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
CVRMED
1995
Springer
15 years 10 months ago
Automatic Retrieval of Anatomical Structures in 3D Medical Images
Jérôme Declerck, Gérard Subsol...
ICNP
1995
IEEE
15 years 10 months ago
Extension of protocol synthesis to structured entities
Bhed Bahadur Bista, Atsushi Togashi, Norio Shirato...