GLORIA

GEOMAR Library Ocean Research Information Access

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Machine theory Congresses  (3)
  • French  (3)
  • 1975-1979  (3)
  • 1
    Online Resource
    Online Resource
    Theoretical computer science : 3rd GI Conference, Darmstadt, March 28 - 30, 1977 (1977)
    Berlin [u.a.] : Springer
    Details Availability
    Keywords: Machine theory Congresses ; Formal languages Congresses ; Computer science ; Computer Science, general ; Computer Science ; Konferenzschrift ; Informatik ; Automatentheorie
    Description / Table of Contents: On polynomial time isomorphisms of complete sets -- New bounds on formula size -- Informatique et algebre la theorie des codes a longueur variable -- On a description of tree-languages by languages -- Higher type program schemes and their tree languages -- Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen -- A comparative study of one-counter Ianov schemes -- Grobstrukturen für kontextfreie Grammatiken -- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache -- Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen -- On one-way Auxiliary pushdown automata -- Un langage algebrique non-generateur -- Cylindres de langages simples et pseudo-simples -- Familles de langages fermees par crochet et crochet ouvert -- Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik -- Systemes schematiques generalises -- Formale Korrektheitsbeweise für While-Programme -- Towards automation of proofs by induction -- A syntactic connection between proof procedures and refutation procedures -- Struktur von Programmbündeln -- Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten -- Decidabilite de la finitude des demi-groupes de matrices -- Codes et sous-monoides possedant des mots neutres -- A polynomial-time test for the deadlock-freedom of computer systems -- Aspects of unbounded parallelism -- Eigenschaften färbbarer Petri-Netze -- On the rationality of petri net languages -- An algorithm for transitive closure with linear expected time -- The LBA-problem and the transformability of the class ?2 -- Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexität der kontextsensitiven Analyse -- Über Netzwerkgrössen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen -- Ein vollständiges Problem auf der Baummaschine -- Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit.
    Type of Medium: Online Resource
    Pages: Online-Ressource (VII, 418 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540373896
    Series Statement: Lecture notes in computer science 48
    URL: http://www.springerlink.com/content/p58kt2p63223
    URL: http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-08138-8
    URL: http://dx.doi.org/10.1007/3-540-08138-0
    URL: https://doi.org/10.1007/3-540-08138-0
    URL: https://external.dandelon.com/download/attachments/dandelon/ids/DEAGI828DD41C8982900FC125757B0054754D.pdf
    DOI: 10.1007/3-540-08138-0
    RVK:
    QH 730
    RVK:
    SS 4800
    Language: English , German , French
    Note: Literaturangaben , Beitr. teilw. engl., teilw. dt., teilw. franz.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    GEOMAR CATALOGUE
    Link to Library Catalog
    get availability status
  • 2
    Online Resource
    Online Resource
    Theoretical computer science : 4th GI Conference, Aachen, March 26 - 28, 1979 (1979)
    Berlin [u.a.] : Springer
    Details Availability
    Keywords: Machine theory Congresses ; Formal languages Congresses ; Computer science ; Computer Science, general ; Computer Science ; Konferenzschrift ; Automatentheorie ; Formale Sprache ; Datenverarbeitung ; Datenverarbeitung
    Description / Table of Contents: Context-free sets of infinite words -- New aspects of homomorphisms -- Can partial correctness assertions specify programming language semantics? -- An algebraic theory for synchronization -- Storage modification machines -- Negative results on counting -- Strong non-deterministic context-free languages -- Information content characterizations of complexity theoretic properties -- Mittlere Anzahl von Rebalancierungsoperationen in gewichtsbalancierten Bäumen -- A new recursion induction principle -- Finite-change automata -- Move rules and trade-offs in the pebble game -- Transition diagrams and strict deterministic grammars -- Exact expressions for some randomness tests -- On storage optimization for automatically generated compilers -- On continuous completions -- A new method to show lower bounds for polynomials which are hard to compute -- On zerotesting-bounded multicounter machines -- When are two effectively given domains identical? -- Sur deux langages linéaires -- An efficient on-line position tree construction algorithm -- Sorting presorted files -- Node-visit optimal 1 – 2 brother trees -- A graph theoretic approach to determinism versus non-determinism -- Une caracterisation de trois varietes de langages bien connues -- Über eine minimale universelle Turing-Maschine -- Sur les varietes de langages et de monoïdes -- Automaten in planaren graphen -- Theoreme de transversale rationnelle pour les automates a pile deterministes -- On the additive complexity of polynomials and some new lower bounds -- Remarks on the nonexistence of some covering grammars -- Zur Komplexität der Presburger Arithmetik und des Äquivalenzproblems einfacher Programme.
    Type of Medium: Online Resource
    Pages: Online-Ressource (VII, 324 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540355175
    Series Statement: Lecture notes in computer science 67
    URL: http://www.springerlink.com/content/k77830670141
    URL: http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-09118-9
    URL: http://dx.doi.org/10.1007/3-540-09118-1
    URL: https://doi.org/10.1007/3-540-09118-1
    URL: https://external.dandelon.com/download/attachments/dandelon/ids/DEAGI78FBDAC6F8D80C94C125757B005475D2.pdf
    DOI: 10.1007/3-540-09118-1
    RVK:
    QH 730
    RVK:
    SS 4800
    RVK:
    SS 1979
    RVK:
    ST 130
    Language: English , French , German
    Note: Literaturangaben , Beitr. teilw. engl., teilw. franz., teilw. dt.,
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    GEOMAR CATALOGUE
    Link to Library Catalog
    get availability status
  • 3
    Online Resource
    Online Resource
    Automata theory and formal languages : 2nd GI Conference, Kaiserslautern, May 20 - 23, 1975 (1975)
    Berlin [u.a.] : Springer
    Details Availability
    Keywords: Machine theory Congresses ; Formal languages Congresses ; Computer science ; Computer Science, general ; Computer Science ; Konferenzschrift
    Description / Table of Contents: Formal language theory and theoretical computer science -- Le cylindre des langages lineaires n'est pas principal -- Langages algebriques deterministes et groupes abeliens -- Best possible bounds on the weighted path length of optimum binary search trees -- En?En?1-entscheidbare Gruppen -- Statistical characterization of learnable sequences -- Über den mittleren Zeitbedarf bei der LR(k) — Analyse kontextfreier Sprachen -- Zur endlichen Approximierbarkeit sequentieller Systeme -- The complexity of negation-limited networks — A brief survey -- The network-complexity of equivalence and other applications of the network complexity -- Test d'isomorphie d'hypergraphes planaires -- Obere und untere Schranke für die Komplexität von Booleschen Funktionen -- On the entropy of a formal language -- On the complexity of computations under varying sets of primitives -- About the deterministic simulation of nondeterministic (log n)-tape bounded turing machines -- Zur Entscheidbarkeit der funktionalen Äquivalenz -- Quantifier elimination for real closed fields by cylindrical algebraic decompostion -- Deterministische indizierte Grammatiken -- Eine Beschreibung contextfreier Sprachen durch endliche Mengensysteme -- On the generative capacity of the strict global grammars -- Tree-transducers and syntax-connected transductions -- Sur les relations rationnelles -- Piecewise testable events -- Die Grösse des zustandsminimalen LR(O)-Analysators -- Formal translations and the containment problem for Szilard languages -- A characterization of bounded regular sets -- Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter -- Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften -- Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik? -- Prädikatives Programmieren -- Analyzing families of grammars -- Control structures and monadic languages.
    Type of Medium: Online Resource
    Pages: Online-Ressource (VIII, 292 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540379232
    Series Statement: Lecture notes in computer science 33
    URL: http://dx.doi.org/10.1007/3-540-07407-4
    URL: https://doi.org/10.1007/3-540-07407-4
    URL: https://external.dandelon.com/download/attachments/dandelon/ids/DE0048B30BFA51F7CE581C12579DD00351C8F.pdf
    DOI: 10.1007/3-540-07407-4
    Language: English , German , French
    Note: Literaturangaben , Beitr. teilw. engl., teilw. dt., teilw. franz.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    GEOMAR CATALOGUE
    Link to Library Catalog
    get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...