RO  EN
IMI/Publicaţii/CSJM/Ediţii/

CSJM v.24, n.3 (72), 2016

Posted on the journal site for open access on December 1, 2016
Mathematical logic and foundations
Propositional inquisitive logic: a survey
Ivano Ciardelli
27.05.2016pp.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.2016pp.312-334
Order, lattices, ordered algebraic structures
About Applications of Distances on Monoids of Strings
Mitrofan Choban, Ivan Budanaev
22.09.2016pp.335-356
Theory of computing
Insertion Modeling and Its Applications
Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko
13.10.2016pp.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.2016pp.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.2016pp.399-416
Computer system organization
Executable choreographies applied in OPERANDO
Sînică Alboaie, Lenuta Alboaie, Mircea-Florin Vaida, Cristina Olariu
02.10.2016pp.417-436


CSJM v.25, n.1 (73), 2017
CSJM v.24, n.2 (71), 2016