Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für GND-ID= "DE-588 117196134"; Sortiert nach: Jahr, dann Urheber

  Vollanzeige Speichern/Senden Auswahlliste In den Korb Modifizieren Hilfe zur Ergebnisliste


Titel 1 - 20 von 64  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Mráz, František Hierarchies of weakly monotone restarting automata / František Mráz ; Friedrich Otto. - (Mathematische Schriften Kassel ; Preprint No. 8/03) 



2003 
     
2
Otto, Friedrich, 1782-1856 Restarting automata and their relations to the Chomsky hierarchy / Friedrich Otto. - (Mathematische Schriften Kassel ; Preprint No. 5/03) 



2003 
     
3
Pride, Stephen J. On higher order homological finiteness of rewriting systems / Stephen J. Pride ; Friedrich Otto. - (Mathematische Schriften Kassel ; Preprint No. 12/03) 



2003 
     
4
Pride, Stephen J. Relative monoid presentations and finite derivation type / Stephen J. Pride ; Friedrich Otto. - (Mathematische Schriften Kassel ; Preprint No. 15/03) 



2003 
     
5
Otto, Friedrich, 1782-1856 Rewriting methods for monoid semirings / Friedrich Otto ; Olga Sokratova. - (Mathematische Schriften Kassel ; Preprint No. 6/02) 



2002 
     
6
Pride, Stephen J. For rewriting systems / Stephen J. Pride ; Friedrich Otto. - (Mathematische Schriften Kassel ; Preprint No. 13/02) 



2002 
     
7
Kobayashi, Yuji For finitely presented monoids the homological finiteness conditions FHT and bi-FP3 coincide / Yuji Kobayashi ; Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 4/01) . - (Mathematische Schriften Kassel) 



2001 
     
8
Niemann, Gundula On the power of RRWW-automata / Gundula Niemann ; Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 8/01) . - (Mathematische Schriften Kassel) 



2001 
     
9
Otto, Friedrich, 1782-1856 Shrinking alternating two-pushdown automata / Friedrich Otto ; Etsuro Moriya. - (Mathematische Schriften Kassel ; Preprint No. 12/01) 



2001 
     
10
Otto, Friedrich, 1782-1856 Some results on Green’s relations for monoids presented by monadic string-rewriting systems / Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 9/01) . - (Mathematische Schriften Kassel) 



2001 
     
11
Gesellschaft für Informatik. Fachgruppe Automaten und Formale Sprachen 9. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" / Friedrich Otto ... (Hrsg.). - (Mathematische Schriften Kassel : Preprint-Reihe ; 12/99) 



2000 
     
12
Kobayashi, Yuji Some exact sequences for the homotopy (bi-)module of a monoid / Yuji Kobayashi ; Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 18/00) . - (Mathematische Schriften Kassel) 



2000 
     
13
Kobayashi, Yuji On homotopical and homological finiteness conditions for finitely presented monoids / Yuji Kobayashi ; Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 1/00) . - (Mathematische Schriften Kassel) 



2000 
     
14
Otto, Friedrich, 1782-1856 Confluent monadic string rewriting systems and automatic structures / Friedrich Otto ; Nik Ruškuc. - (Preprint / Universität Gesamthochschule Kassel ; 25/00) . - (Mathematische Schriften Kassel) 



2000 
     
15
Niemann, Gundula Restarting automata, Church-Rosser languages, and confluent internal contextual languages / Gundula Niemann ; Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 4/99) . - (Mathematische Schriften Kassel) 



1999 
     
16
Niemann, Gundula Restarting automata and prefix-rewriting systems / Gundula Niemann ; Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 18/99) . - (Mathematische Schriften Kassel) 



1999 
     
17
Otto, Friedrich, 1782-1856 On the connections between rewriting and formal language theory / Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 5/99) . - (Mathematische Schriften Kassel) 



1999 
     
18
Cremanns, Robert FP is undecidable for finitely presented monoids with word problems decidable in polynomial time / Robert Cremanns ; Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 11/98) . - (Mathematische Schriften Kassel) 



1998 
     
19
Cremanns, Robert A completion procedure for finitely presented groups that is based on word cycles / Robert Cremanns ; Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 1/98) . - (Mathematische Schriften Kassel) 



1998 
     
20
Otto, Friedrich, 1782-1856 A survey on the computational power of some classes of finite monoid-presentations / Friedrich Otto. - (Preprint / Universität Gesamthochschule Kassel ; 12/98) . - (Mathematische Schriften Kassel) 



1998 
     


Vorige Seite   Nächste Seite