Sciweavers

Share
MSCS
2002
58views more  MSCS 2002»
9 years 6 months ago
Tripos Theory in Retrospect
Andrew M. Pitts
MSCS
2002
84views more  MSCS 2002»
9 years 6 months ago
Universal Homogeneous Graph-Like Structures And Domains
Paolo Boldi, Felice Cardone, Manfred Droste
MSCS
2002
53views more  MSCS 2002»
9 years 6 months ago
String and Graph Reduction Systems for Gene Assembly in Ciliates
Andrzej Ehrenfeucht, Ion Petre, David M. Prescott,...
MSCS
2002
54views more  MSCS 2002»
9 years 6 months ago
Local Realizability Toposes and a Modal Logic for Computability
Steven Awodey, Lars Birkedal, Dana S. Scott
books