Valerie Novitzká

From MaRDI portal
Person:2201095

Available identifiers

zbMath Open novitzka.valerieMaRDI QIDQ2201095

List of research outcomes





PublicationDate of PublicationType
Coalgebraic operational semantics for an imperative language2023-02-20Paper
Between syntax and semantics of resource oriented logic for IDS behavior description2020-09-28Paper
Linear logic in computer science2020-09-25Paper
A categorical model of predicate linear logic2020-09-25Paper
New Approach to Categorical Semantics for Procedural Languages2018-11-29Paper
https://portal.mardi4nfdi.de/entity/Q46897502018-10-17Paper
https://portal.mardi4nfdi.de/entity/Q29978232011-05-09Paper
https://portal.mardi4nfdi.de/entity/Q30772842011-02-22Paper
https://portal.mardi4nfdi.de/entity/Q58511532010-01-21Paper
https://portal.mardi4nfdi.de/entity/Q51930192009-08-10Paper

Research outcomes over time

This page was built for person: Valerie Novitzká

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2201095&oldid=6929363"
Powered by MediaWiki