Erscheinungsjahr
Format
Lizenz
-
Algebraic dynamic programming on trees
Freier ZugriffFraunhofer Publica | 2017|Schlagwörter: formal language -
Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample
Online Contents | 2011|Schlagwörter: Formal language -
The Expressivity of Autosegmental Grammars
Online Contents | 2018|Schlagwörter: Formal language theory -
Word-final -s in Ennius’ Annales: a sociolinguistic approach
DeGruyter | 2021|Schlagwörter: formal language -
An intelligent tutoring system for supporting active learning: A case study on predictive parsing learning
Elsevier | 2020|Schlagwörter: Formal language processing -
Characterizing Classes of Regular Languages Using Prefix Codes of Bounded Synchronization Delay
Freier ZugriffDataCite | 2016|Schlagwörter: formal language -
Methoden und Denkweisen aus der Theoretischen Informatik in Bibliotheken
Freier ZugriffDataCite | 2017|Schlagwörter: Formal Language Theory -
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs
TIBKAT | 2019|Schlagwörter: Formal language definitions -
The Role of Intuition in Gödel’s and Robinson’s Points of View
Online Contents | 2019|Schlagwörter: Formal language -
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
Online Contents | 2010|Schlagwörter: Formal language theory -
Denotational and operational semantics for interaction languages: Application to trace analysis
Elsevier | 2023|Schlagwörter: Formal language -
The Maximal Complexity of Quasiperiodic Infinite Words
Freier ZugriffDOAJ | 2021|Schlagwörter: formal language -
A description based on languages of the final non-deterministic automaton
Elsevier | 2014|Schlagwörter: Formal language -
Boolean operations and inclusion test for attribute–element constraints
Elsevier | 2006|Schlagwörter: Formal language theory
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.