Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 148
Volume 148, Number 1, January 10, 1999
- Martín Abadi, Andrew D. Gordon:
A Calculus for Cryptographic Protocols: The spi Calculus. 1-70 - Antonino Salibra, Robert Goldblatt
:
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. 71-130
Volume 148, Number 2, February 1, 1999
- Zoltán Ésik:
Group Axioms for Iteration. 131-180 - Yuri I. Ozhigov:
Computations on Nondeterministic Cellular Automata. 181-201 - Wolfgang Maass, Berthold Ruf:
On Computations with Pulses. 202-218 - Steven S. Seiden:
Unfair Problems and Randomized Algorithms for Metrical Task Systems. 219-240 - Dieter Spreen:
Corrigendum to "On Some Decision Problems in Programming". Inf. Comput. 148(2): 241-244 (1999)
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:
