Account
Edit tools
Intern
SucheSearch
English

Attribut:ISSN

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.
O
On Descriptional Complexity of Partially Parallel Grammars +
0169-2968  +
On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops +
0324-721X  +
On a structural property in the state complexity of projected regular languages +
0304-3975  +
On boolean combinations forming piecewise testable languages +
0304-3975  +
On conditional decomposability +
0167-6911  +
On context-free rewriting with a simple restriction and its computational completeness +
1290-385X  +
On restricted context-free grammars +
0022-0000  +
On the Abstract Expressive Power of Description Logics with Concrete Domains +
1613-0073  +
On the Complexity of Universality for Partially Ordered NFAs +
1868-8969  +
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics +
0955-792X  +
On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components +
0129-0541  +
On the descriptional complexity of scattered context grammars +
0304-3975  +
One-Variable Logic Meets Presburger Arithmetic +
0304-3975  +
Order matters! Harnessing a world of orderings for reasoning over massive data +
2210-4968  +
P
P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others +
0302-9743  +
Piecewise Testable Languages and Nondeterministic Automata +
1868-8969  +
Preserving Constraints with the Stable Chase +
1868-8969  +
Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007 +
1613-0073  +
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017) +
1613-0073  +
Q
Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web +
0302-9743  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:ISSN&oldid=185“