The SCEAS System
Navigation Menu

Journals in DBLP

Information and Control
1983, volume: 59, number: 1-3

  1. Susumu Yamasaki, Shuji Doshita
    The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:59, n:1-3, pp:1-12 [Journal]
  2. Andrzej Ehrenfeucht, Grzegorz Rozenberg
    Repetition of Subwords in DOL Languages [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:59, n:1-3, pp:13-35 [Journal]
  3. Matthew Hennessy
    Synchronous and Asynchronous Experiments on Processes [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:59, n:1-3, pp:36-83 [Journal]
  4. Imre Bárány, Zoltán Füredi
    Mental Poker with Three or More Players [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:59, n:1-3, pp:84-93 [Journal]
  5. Alexei P. Stolboushkin
    Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:59, n:1-3, pp:94-107 [Journal]
  6. Hartmut Schmeck
    Algebraic Semantics of Recursive Flowchart Schemes [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:59, n:1-3, pp:108-126 [Journal]
  7. Henk Barendregt, Adrian Rezus
    Semantics for Classical AUTOMATH and Related Systems [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:59, n:1-3, pp:127-147 [Journal]
  8. Ludwig Staiger
    Subspaces of GF(q)^w and Convolutional Codes [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:59, n:1-3, pp:148-183 [Journal]
  9. Jürgen Weiss
    An n^3/2 Lower Bound on the Monotone Network Complexity of the Boolean Convolution [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:59, n:1-3, pp:184-188 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002