Found 23 Documents (Results 1–23)
The reachability problem for Petri nets and decision problems for Skolem arithmetic. (English) Zbl 0453.03012
Graph theoretic models. (English) Zbl 0452.05053
Invertible terms in the lambda calculus. (English) Zbl 0446.03011
MSC:
03B40
Complexity of dimension three and some related edge-covering characteristics of graphs. (English) Zbl 0442.68031
Automates a file. (English) Zbl 0434.68062
MSC:
68Q45
68Q05
There are infinitely many complete prefix codes of constant length \(l\;(l\geq 3)\). (English) Zbl 0433.68066
On another Boolean matrix. (English) Zbl 0429.94038
MSC:
94C10
Metric interpretations of infinite trees and semantics of non deterministic recursive programs. (English) Zbl 0427.68022
MSC:
68Q60
Algorithme explicite pour la recherche du p.g.c.d. dans certains anneaux principaux d’entiers de corps de nombres. (French) Zbl 0425.13007
Uniform data encodings. (English) Zbl 0423.68028
Filter Results by …
all
top 5
Author
- Arnold, André (1)
- Ashcroft, Edward A. (1)
- Barone-Netto, Angelo (1)
- Bergstra, Jan A. (1)
- Berman, Leonard (1)
- Beynon, W. Meurig (1)
- Blum, Norbert (1)
- Börger, Egon (1)
- Bougaut, Bernard (1)
- Bruss, Anna Rosa (1)
- Dobkin, David P. (1)
- Ehrig, Hartmut (1)
- Franchi-Zannettacci, Paul (1)
- Harary, Frank (1)
- Heintz, Joos (1)
- Hennessy, Matthew C. B. (1)
- Hotz, Günter (1)
- Kleine Büning, Hans (1)
- Klop, Jan Willem (1)
- Kozen, Dexter C. (1)
- Kučera, Luděk (1)
- Mehlhorn, Kurt (1)
- Meyer, Albert Ronald (1)
- Morisaki, Masato (1)
- Nešetřil, Jaroslav (1)
- Nivat, Maurice (1)
- Pippenger, Nicholas J. (1)
- Pultr, Aleš (1)
- Reiss, Steven P. (1)
- Rosen, Barry K. (1)
- Rosenberg, Arnold Leonard (1)
- Sakai, Kô (1)
- Sieveking, Malte (1)
- Snyder, Lawrence V. (1)
- Staples, John (1)
- Stockmeyer, Larry J. (1)
- Strassen, Volker (1)
- Vauquelin, Bernard (1)
- von zur Gathen, Joachim (1)
Software
- LCF (1)