2001
12 references published this year.
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Cristiano Calcagno et al. (2001) · Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
A Mathematical Introduction to Logic
H. B. Enderton (2001)
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern et al. (2001) · Bulletin of Symbolic Logic
Cybernetics and second-order cybernetics
Francis Heylighen et al. (2001) · Encyclopedia of physical science & technology
BI as an assertion language for mutable data structures
Samin S. Ishtiaq et al. (2001) · 28th ACM Symposium on Principles of Programming Languages (POPL)
War.com: The internet and psychological operations
Angela M. Lungu (2001)
Optimal cost stacked uni-directional path switched SONET/SDH ring design
Ramesh Nagarajan et al. (2001) · Telecommunication Systems
Calculating sharp adaptation rules
David A. Naumann (2001) · Information Processing Letters
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn et al. (2001) · Computer Science Logic
NATO Enlargement 2000-2015. Determinants and Implications for Defense Planning and Shaping
Thomas S. Szayna (2001)
Second-order logic and foundations of mathematics
Jouko Väänänen (2001) · Bulletin of Symbolic Logic
Local reasoning for stateful programs
Hongseok Yang (2001)