Information 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
  

Last update Mon May 20 00:59:19 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page