Search Results - "NOVITZKÁ, Valerie"

ON STRUCTURE OF TICHÝ-INSPIRED LOGICAL SPACETIME.

Authors: Novotný, Samuel Steingartner, William Novitzká, Valerie

Source: Journal of Applied Mathematics & Computational Mechanics. 2025, Vol. 24 Issue 4, p51-74. 24p.

Operational Semantics in a Domain-Specific Robot Control Language: a Pedagogical Use Case.

Authors: Steingartner, William Novitzká, Valerie

Source: Computer Science & Information Systems; Jun2024, Vol. 21 Issue 3, p1077-1095, 19p

Acknowledgment to the Reviewers of Mathematics in 2022.

Source: Mathematics (2227-7390). Feb2023, Vol. 11 Issue 3, p643. 76p.

Categorical Model of Structural Operational Semantics for Imperative Language.

Authors: Steingartner, William Novitzká, Valerie

Source: Journal of Information & Organizational Sciences. 2016, Vol. 40 Issue 2, p203-219. 17p.

TOWARDS THE KNOWLEDGE IN COALGEBRAIC MODEL OF IDS.

Authors: MIHÁLYI, Daniel NOVITZKÁ, Valerie

Source: Computing & Informatics; 2014, Vol. 33 Issue 1, p61-78, 18p

NETWORK ROUTING MODELLED BY GAME SEMANTICS.

Authors: MIHÁLYI, DANIEL NOVITZKÁ, VALERIE PRAZŇÁK, PETER et al.

Source: Studia Universitatis Babeş-Bolyai, Informatica. Dec2012, Vol. 57 Issue 4, p19-29. 11p. 7 Diagrams.

Formal Model of IDS Based on BDI Logic.

Authors: Perháč, Ján Novitzká, Valerie Steingartner, William et al.

Source: Mathematics (2227-7390). Sep2021, Vol. 9 Issue 18, p2290-2290. 1p.

Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.

Authors: Novotný, Samuel Michalko, Miroslav Perháč, Ján et al.

Source: Symmetry (20738994). Mar2022, Vol. 14 Issue 3, p588-588. 24p.

A Novel Categorical Approach to Semantics of Relational First-Order Logic.

Authors: Schreiner, Wolfgang Steingartner, William Novitzká, Valerie

Source: Symmetry (20738994). Oct2020, Vol. 12 Issue 10, p1584. 1p.