Account
Edit tools
Intern
SucheSearch
English

Attribut:Num

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.
2
2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +
5  +
A
A "Converse" of the Banach Contraction Mapping Theorem +
10/s  +
A Closer Look at the Semantic Relationship between Datalog and Description Logics +
1  +
A Correspondence between Temporal Description Logics +
1--2  +
A Description Logic with Concrete Domains and Role-forming Predicates +
3  +
A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
3  +
A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages +
1  +
A Hardware/Software Stack for Heterogeneous Systems +
3  +
A Modified Supervaluationist Framework for Decision-Making +
2  +
A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata +
3  +
A Tableau Algorithm for DLs with Concrete Domains and GCIs +
1--3  +
A Tableau Decision Algorithm for Modalized ALC with Constant Domains +
2  +
A categorical view on algebraic lattices in formal concept analysis +
2-3  +
A general first-order solution to the ramification problem with cycles +
3  +
A generalized resolution theorem +
1--2  +
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics +
10  +
A note on controllability of deterministic context-free systems +
8  +
A note on the attractor-property of infinite-state Markov chains +
2  +
A uniform framework for weighted decision diagrams and its implementation +
5  +
ATL is Indeed ExpTime-complete +
6  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Num&oldid=5137“