Some undecidability Results for non-monadic church-rosser thue systems.

Guardat en:

Dades bibliogràfiques
Autor principal:	OTTO, Friedrich
Format:	Llibre
Idioma:	anglès
Publicat:	Kaiserslautern 1984
Col·lecció:	Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern 98
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Order eBook:
Order Book:	Login to order

Ítems similars: Some undecidability Results for non-monadic church-rosser thue systems.

Vista ràpida
Groups presented by finite two-monadic Church-Rosser Thue systems
Vista ràpida
Groups presented by finite two-monadic Church-Rosser Thue systems
Vista ràpida
Groups presented by finite two-monadic Church-Rosser Thue systems.
Vista ràpida
Undecidable Theories
Vista ràpida
Undecidable Theories
Vista ràpida
Undecidable Theories
Vista ràpida
The Church Rosser Property in computer algebra and special theorem proving an investigation of critical pair, completion algorithms
Vista ràpida
Die Monade. Das philos. Problem vom Ursprung.
Vista ràpida
Sentences undecidable in formalized Arithmetic. An exposition of the theory of Kurt Gödel.
Vista ràpida
Monade und Begriff. Der Weg von Leibniz zu Hegel.
Vista ràpida
Atom, Seele, Monade. Historische Ursprünge u. Hintergründe von Kants Antinomie der Teilung.
Vista ràpida
Monads and cohomology modules of rank 2 vector bundles.
Vista ràpida
Some miscellaneous Results of the work of the division of entomology.
Vista ràpida
No Church
Vista ràpida
Some ionospheric Results. Obtained during the Intl. Geophysical Year. Proc. of a symposium organised by the URSI/AGI committee, at Brussels, Belgium, Sept. 1959.
Vista ràpida
Churches
Vista ràpida
Leibniz, das Prinzip der Monade u.d. Problem der Wechselwirkung.
Vista ràpida
Children and the church.
Vista ràpida
CHURCH Scotland
Vista ràpida
Church history
Vista ràpida
Churches and temples
Vista ràpida
Churches and temples
Vista ràpida
Music in the church.
Vista ràpida
Churches and temples.