Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th CATS 2001: Gold Coast, QLD, Australia
- Colin J. Fidge:
Computing: The Australasian Theory Symposium, CATS 2001, Gold Coast, Australia, January 29-30, 2001. Electronic Notes in Theoretical Computer Science 42, Elsevier 2001 - Ashok Sreenivas, R. Venkatesh, Mathai Joseph:
Meta-Modelling for Formal Software Development. 1-11 - Annabelle McIver
, Carroll Morgan:
Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL. 12-40 - Asat Arslanov:
On Elementary Computability-Theoretic Properties of Algorithmic Randomness. 41-51 - Kensuke Baba, Sachio Hirokawa, Ken-etsu Fujita:
Parallel Reduction in Type Free lambda/mu-Calculus. 52-66 - Antonio Cerone:
Axiomatisation of an Interval Calculus for Theorem Proving. 67-88 - Jeremy E. Dawson, Rajeev Goré:
Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. 89-103 - Steve Dunne:
Abstract Commands: a Uniform Notation for Specification and Implementation. 104-123 - Jonathan M. Ford, Ian A. Mason:
Operational Techniques in PVS - A Preliminary Evaluation. 124-142 - Thorsten Gerdsmeier, Rachel Cardell-Oliver:
Analysis of Scheduling Behaviour using Generic Timed Automata. 143-157 - Salvatore La Torre, Margherita Napoli:
A Model of Finite Automata on Timed omega-Trees. 158-173 - Sebastian Link, Klaus-Dieter Schewe:
Computability and Decidability Issues in the Theory of Consistency Enforcement. 174-196 - Andrew P. Martin, Colin J. Fidge:
Lifting in Z. 197-219 - Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio:
Representation of a Discretely Controlled Continuous System in Tense Arithmetic. 220-231 - Shane Saunders, Tadao Takaoka:
Improved Shortest Path Algorithms for Nearly Acyclic Graphs. 232-248 - Peter Schachte:
Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs. 249-265 - Jamie Shield, Ian J. Hayes, David A. Carrington:
Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. 266-281 - Colin J. Fidge:
Preface. 282-283
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
