Found 18 Documents (Results 1–18)
Wythoff games, continued fractions, cedar trees and Fibonacci searches. (English) Zbl 0557.90107
Reviewer: I.Dragan
The complexity of the satisfiability problem for Krom formulas. (English) Zbl 0552.03023
Reviewer: M.Tetruašvili
A theory of bipolar synchronization scheme. (English) Zbl 0547.68054
MSC:
68Q85
Closures and fairness in the semantics of programming logic. (English) Zbl 0547.68034
Reviewer: H.Nishimura
Nets, sequential components and concurrency relations. (English) Zbl 0546.68039
Reviewer: H.Fuss and E.Smith
A constructive method for abstract algebraic software specification. (English) Zbl 0544.68016
MSC:
68P05
On simulation and propagating EOL forms. (English) Zbl 0538.68067
Reviewer: A.Pirická-Kelemenová
MSC:
68T99
Representation of nondeterministic information. (English) Zbl 0537.68098
Reviewer: A.Kondrat’ev
Characterizations and computational complexity of systolic trellis automata. (English) Zbl 0536.68048
Reviewer: G.Wechsung
Correctness of programs with Pascal-like procedures without global variables. (English) Zbl 0534.68016
MSC:
68Q60
Algèbre de processus et synchronisation. (French) Zbl 0533.68026
MSC:
68N25
Corrigendum: On infinite computations in denotational semantics. (English) Zbl 0533.68020
MSC:
68Q60
Filter Results by …
all
top 5
Author
- Austry, Didier (1)
- Bergstra, Jan A. (1)
- Boudol, Gérard (1)
- Braquelaire, Jean-Pierre (1)
- Courcelle, Bruno (1)
- de Bakker, Jacobus W. (1)
- de Simone, Robert (1)
- Denenberg, Larry (1)
- Fachini, Emanuela (1)
- Fraenkel, Aviezri Siegmund (1)
- Frederickson, Greg N. (1)
- Genrich, Hartmann J. (1)
- Ibarra, Oscar H. (1)
- Janicki, Ryszard (1)
- Kim, Sam Myo (1)
- Klaeren, Herbert A. (1)
- Klop, Jan Willem (1)
- Lassez, Jean-Louis (1)
- Lewis, Harry R. (1)
- Maher, Michael J. (1)
- Meyer, John-Jules Charles (1)
- Napoli, Margherita (1)
- Olderog, Ernst-Rüdiger (1)
- Orłowska, Ewa S. (1)
- Pawlak, Zdzisław (1)
- Rozenberg, Grzegorz (1)
- Thiagarajan, Pazhamaneri Subramaniam (1)
- Traub, Joseph Frederick (1)
- Verraedt, Raymond (1)
- Wasilkowski, Grzegorz W. (1)
- Woźniakowski, Henryk (1)
- Zucker, Jeffery I. (1)