Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Control, Volume 59
Volume 59, Number 1-3, 1983
- Susumu Yamasaki
, Shuji Doshita:
The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic. 1-12
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Repetition of Subwords in DOL Languages. 13-35 - Matthew Hennessy:
Synchronous and Asynchronous Experiments on Processes. 36-83 - Imre Bárány, Zoltán Füredi:
Mental Poker with Three or More Players. 84-93 - Alexei P. Stolboushkin:
Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic. 94-107 - Hartmut Schmeck:
Algebraic Semantics of Recursive Flowchart Schemes. 108-126 - Henk Barendregt, Adrian Rezus:
Semantics for Classical AUTOMATH and Related Systems. 127-147 - Ludwig Staiger:
Subspaces of GF(q)^w and Convolutional Codes. 148-183 - Jürgen Weiss:
An n^3/2 Lower Bound on the Monotone Network Complexity of the Boolean Convolution. 184-188
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 2023-03-25 00:05 CET 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:
