Account
Edit tools
Intern
SucheSearch
English

Attribut:DOI Name

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Zeichenkette.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
A
A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata +
10.1142/S0129054113500068  +
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions +
10.1007/978-3-642-00982-2_47  +
A Practical Account into Counting Dung’s Extensions by Dynamic Programming +
10.1007/978-3-031-15707-3\_30  +
A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies +
10.1007/978-3-319-46523-4_5  +
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select +
10.1007/978-3-642-38088-4_21  +
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
10.1007/978-3-030-99524-9  +
A Sound and Complete Backward Chaining Algorithm for Existential Rules +
10.1007/978-3-642-33203-6_10  +
A Spectrum of Approximate Probabilistic Bisimulations +
10.4230/LIPICS.CONCUR.2024.37  +
A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory +
10.1145/2631775.2631789  +
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem +
https://doi.org/10.1007/978-3-319-30000-9_10  +
A bridge between decentralized and coordination control +
10.1109/Allerton.2013.6736630  +
A cross-lingual correcting and completive method for multilingual ontology labels +
https://doi.org/10.1007/978-3-662-43585-4  +
A general first-order solution to the ramification problem with cycles +
10.1016/j.jal.2013.05.003  +
A note on C2 interpreted over finite data-words +
10.4230/LIPIcs.TIME.2020.17  +
A note on controllability of deterministic context-free systems +
10.1016/j.automatica.2012.06.004  +
A note on the attractor-property of infinite-state Markov chains +
10.1016/J.IPL.2005.09.011  +
A rule-based ontological framework for the classification of molecules +
10.1186/2041-1480-5-17  +
A uniform framework for modeling and verifying components and connectors +
10.1007/978-3-642-02053-7_13  +
A uniform framework for weighted decision diagrams and its implementation +
10.1007/S10009-008-0069-Y  +
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams +
10.3233/FAIA220170  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:DOI_Name&oldid=193“