RO EN
CSJM v.24, n.3 (72), 2016
Posted on the journal site for open access on December 1, 2016 | ||
|---|---|---|
This is a special issue with selected papers (revised versions) presented at the 2016 edition of the annual Conference on Mathematical Foundations of Informatics MFOI-2016 | ||
| Mathematical logic and foundations | ||
| Propositional inquisitive logic: a survey Ivano Ciardelli | 27.05.2016 | pp.295-311 |
| "The absence of the difference from a pot is potness" - Axiomatic Proofs of Theorems Concerning Negative Properties in Navya-Nyāya Eberhard Guhe | 03.10.2016 | pp.312-334 |
| Order, lattices, ordered algebraic structures | ||
| About Applications of Distances on Monoids of Strings Mitrofan Choban, Ivan Budanaev | 22.09.2016 | pp.335-356 |
| Theory of computing | ||
| Insertion Modeling and Its Applications Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko | 13.10.2016 | pp.357-370 |
| Theoretical aspects of software system development | ||
| Proving Properties of Programs on Hierarchical Nominative Data Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev | 06.10.2016 | pp.371-398 |
| Natural Language Processing | ||
| Natural Language Processing versus Logic. Pros and cons on the dispute whether logic is useful in the computational interpretation of language Dan Cristea | 15.06.2016 | pp.399-416 |
| Computer system organization | ||
| Executable choreographies applied in OPERANDO Sînică Alboaie, Lenuta Alboaie, Mircea-Florin Vaida, Cristina Olariu | 02.10.2016 | pp.417-436 |
