The classical decision problem
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Borger, E. (Egon) 1946- |
|---|---|
| Άλλοι συγγραφείς: | Gradel, Erich 1958-, Gurevich, Yuri |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
New York :
Springer,
c1997
|
| Σειρά: | Universitext
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Decision problems for equational theories of relation algebras
Δημοσίευση: (1997) -
Decidability and Boolean representations
από: Burris, Stanley
Δημοσίευση: (1981) -
On group-theoretic decision problems and their classification
από: Miller, Charles F. 1941-
Δημοσίευση: (1971) -
An examination of a decision procedure
από: Oglesby, Francis C.
Δημοσίευση: (1962) -
Elements of Logic and Foundations of Mathematics in Problems
από: Marek, V. W. (V. Wiktor) 1943-
Δημοσίευση: (1982)