Proof of equivalence of semantic methods for a selected domain-specific language von Steingartner, William, Novitzká, Valerie, Schreiner, Wolfgang

Volltext

A Novel Categorical Approach to Semantics of Relational First-Order Logic von Schreiner, Wolfgang, Steingartner, William, Novitzká, Valerie

Volltext

Coalgebras for modelling observable behaviour of programs von Steingartner, William, Novitzká, Valerie

Volltext

A denotational semantics of a concatenative/compositional programming language von Mihelic, Jurij, Steingartner, William, Novitzká, Valerie

Volltext

Categorical Model of Structural Operational Semantics for Imperative Language von Steingartner, William, Novitzká, Valerie

Volltext

A categorical model of predicate linear logic von Demeterová, Emilia, Mihályi, Daniel, Novitzká, Valerie

Volltext

An Analysis of Some Aspects of Component-Based Programming for Selecting Appropriate Categorical Structures as their Models von Steingartner, William, Radakovic, Davorka, Novitzká, Valerie, M. Eldojali, Mohamed Ali

Volltext

Selected papers from the International Scientific Conference INFORMATICS’2013 — part I von Novitzká, Valerie, Steingartner, William, Naumowicz, Adam

Volltext

Formal Model of IDS Based on BDI Logic von Perháč, Ján, Novitzká, Valerie, Steingartner, William, Bilanová, Zuzana

Volltext

Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic von Novotný, Samuel, Michalko, Miroslav, Perháč, Ján, Novitzká, Valerie, Jakab, František

Volltext

New Approach to Categorical Semantics for Procedural Languages von Steingartner, William, Novitzká, Valerie, Bačíková, Michaela, Korečko, Štefan

Volltext

Between syntax and semantics of resource oriented logic for IDS behavior description von Perháč, Ján, Mihályi, Daniel, Novitzká, Valerie

Volltext

Abstract Machine for Operational Semantics of Domain-Specific Language von Steingartner, William, Baraník, Róbert, Novitzká, Valerie

Volltext

Modeling Synchronization Problems: From Composed Petri Nets to Provable Linear Sequents von Perháč, Ján, Mihályi, Daniel, Novitzká, Valerie

Volltext

Selected papers from the International Scientific Conference INFORMATICS’2013 — part II von Novitzká, Valerie, Steingartner, William, Naumowicz, Adam

Volltext

Linear logic in computer science von Steingartner, William, Poláková, Andrea, Prazňák, Peter, Novitzká, Valerie

Volltext

What about Linear Logic in Computer Science?

Volltext

Selected Papers from the International Scientific Conference INFORMATICS’2011 von Novitzká, Valerie, Giertl, Juraj, Steingartner, William

Volltext

Intrusion detection system episteme von Mihályi, Daniel, Novitzká, Valerie, Ľaľová, Martina

Volltext

Categorical Semantics of Reference Data Type von MIHÁLYI, Daniel, LUKÁČ, Miloš, NOVITZKÁ, Valerie

Volltext