Found 25 Documents (Results 1–25)
A global representation of the recursive functions in the \(\lambda\)- calculus. (English) Zbl 0375.02013
Analyse und Synthese von asynchronen ND-Automaten. (German) Zbl 0365.94072
Reviewer: Jiří Šústal
MSC:
68Q45
Complexity measures and hierarchies for the evaluation of integers and polynomials. (English) Zbl 0365.68049
An improvement on Valiant’s decision procedure for equivalence of deterministic finite turn pushdown machines. (English) Zbl 0361.68082
Mechanizing \(\omega\)-order type theory through unification. (English) Zbl 0361.02020
MSC:
03B15
68T15
A recursive and a grammatical characterization of the exponential-time languages. (English) Zbl 0355.68056
Finiteness is mu-ineffable. (English) Zbl 0353.02027
The polynomial-time hierarchy. (English) Zbl 0353.02024
Information storage and retrieval - mathematical foundations. II: Combinatorial problems. (English) Zbl 0352.68121
Filter Results by …
all
top 5
Author
- Araki, Toshiro (1)
- Barendregt, Hendrik Pieter (1)
- Beeri, Catriel (1)
- Chandra, Ashok K. (1)
- Culik, Karel II (1)
- Dobkin, David P. (1)
- Hartmanis, Juris (1)
- Hirschberg, Daniel S. (1)
- Hotz, Günter (1)
- Jensen, D. C. (1)
- Jones, Neil D. (1)
- Kasami, Tadao (1)
- Knuth, Donald Ervin (1)
- Laaser, William T. (1)
- Lallement, Gerard J. (1)
- Lipski, Witold jun. (1)
- Lipton, Richard Jay (1)
- Monien, Burkhard (1)
- Pardo, Luis Trabb (1)
- Park, David Michael Ritchie (1)
- Pietrzykowski, Tomasz (1)
- Preparata, Franco P. (1)
- Rivest, Ronald Linn (1)
- Ruohonen, Keijo (1)
- Schönhage, Arnold (1)
- Schützenberger, Marcel-Paul (1)
- Starke, Peter H. (1)
- Stockmeyer, Larry J. (1)
- Szymanski, Thomas G. (1)
- Vuillemin, Jean E. (1)
- Wise, David S. (1)
- Wong, Chak-Kuen (1)
- Wrathall, Celia (1)