Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 107
Volume 107, Number 1, 1993
- Michael T. Goodrich, Mikhail J. Atallah, Mark H. Overmars:
Output-Sensitive Methods for Rectilinear Hidden Surface Removal. 1-24 - Peter W. O'Hearn, Robert D. Tennent:
Semantical Analysis of Specification Logic, 2. 25-57 - Joachim Parrow:
Structural and Behavioural Equivalences of Networks. 58-90 - Leszek Pacholski, Wieslaw Szwast:
A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality. 91-103 - Jan Kuper:
An Axiomatic Theory for Partial Functions. 104-150 - Nils Klarlund, Fred B. Schneider:
Proving Nondeterministically Specified Safety Properties Using Progress Measures. 151-170
Volume 107, Number 2, 1993
- James E. Burns, Nancy A. Lynch:
Bounds on Shared Memory for Mutual Exclusion. 171-184 - Jeanne Devolder:
Precircular Codes and Periodic Biinfinite Words. 185-201 - Matthew Hennessy, Anna Ingólfsdóttir:
A Theory of Communicating Processes with Value Passing. 202-236 - Rusins Freivalds, Carl H. Smith:
On the Role of Procrastination in Machine Learning. 237-271 - Bengt Jonsson, Joachim Parrow:
Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs. 272-302 - Carl A. Gunter, Elsa L. Gunter, David B. MacQueen:
Computing ML Equality Kinds Using Abstract Interpretation. 303-323
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-25 05:28 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:
