| Publication | Date of Publication | Type |
|---|
| On homeostatic behavior of dynamic deductive data bases | 2024-07-11 | Paper |
Linguistic\(\leftrightarrow \)rational agents' semantics
Journal of Logic, Language and Information | 2018-01-12 | Paper |
| scientific article; zbMATH DE number 6447922 (Why is no real title available?) | 2015-06-22 | Paper |
| CDG Lab: an Integrated Environment for Categorial Dependency Grammar and Dependency Treebank Development | 2015-06-22 | Paper |
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | Paper |
Categorial dependency grammars
Theoretical Computer Science | 2015-05-18 | Paper |
Two models of learning iterated dependencies
Formal Grammar | 2012-11-02 | Paper |
Iterated dependencies and Kleene iteration
Formal Grammar | 2012-11-02 | Paper |
Categorial grammars with iterated types form a strict hierarchy of \(k\)-valued languages
Theoretical Computer Science | 2012-08-09 | Paper |
Categorial grammars with iterated types form a strict hierarchy of \(k\)-valued languages
Implementation and Application of Automata | 2011-07-29 | Paper |
On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types
Logical Aspects of Computational Linguistics | 2011-07-01 | Paper |
| On constructive semantics of natural language | 2011-05-31 | Paper |
Systems of agents controlled by logical programs: complexity of verification
Programming and Computer Software | 2009-11-24 | Paper |
A Finite-State Functional Grammar Architecture
Logic, Language, Information and Computation | 2009-03-10 | Paper |
Optional and Iterated Types for Pregroup Grammars
Language and Automata Theory and Applications | 2008-11-20 | Paper |
Generalized Categorial Dependency Grammars
Pillars of Computer Science | 2008-03-25 | Paper |
On complexity of verification of interacting agents' behavior
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Logical Aspects of Computational Linguistics
Lecture Notes in Computer Science | 2005-11-23 | Paper |
On feasible cases of checking multi-agent systems behavior.
Theoretical Computer Science | 2003-08-17 | Paper |
| scientific article; zbMATH DE number 1931654 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1786550 (Why is no real title available?) | 2002-08-21 | Paper |
| scientific article; zbMATH DE number 1696841 (Why is no real title available?) | 2002-01-28 | Paper |
Enforcement of integrity constraints by means of minimal sufficient changes
Programming and Computer Software | 2001-04-26 | Paper |
| scientific article; zbMATH DE number 1522996 (Why is no real title available?) | 2000-10-30 | Paper |
| scientific article; zbMATH DE number 1507279 (Why is no real title available?) | 2000-09-14 | Paper |
| scientific article; zbMATH DE number 1453061 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1420814 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1406248 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1206050 (Why is no real title available?) | 1998-11-09 | Paper |
| scientific article; zbMATH DE number 512904 (Why is no real title available?) | 1994-08-31 | Paper |
| scientific article; zbMATH DE number 618048 (Why is no real title available?) | 1994-08-09 | Paper |
| scientific article; zbMATH DE number 4104373 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4052988 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4035102 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3932375 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3757728 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3624808 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3571511 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3501024 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3504466 (Why is no real title available?) | 1975-01-01 | Paper |
Theory of formal grammars
Journal of Soviet Mathematics | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3425146 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3557260 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3333284 (Why is no real title available?) | 1970-01-01 | Paper |
On the relation between the class of all context-free languages and the class of deterministic context-free languages
Algebra and Logic | 1970-01-01 | Paper |
Minimization of the complexity function in the class of pushdown store automata and categorial grammars of complexity three
Algebra and Logic | 1970-01-01 | Paper |
