Login / Signup
Beata Nachyla
ORCID
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Knowledge Base
Knowledge Structures
Formal Specification
Reasoning Process
Top Venues
J. Log. Algebraic Methods Program.
CALCO
EXPRESS/SOS
HAIS
</>
Publications
</>
Bartek Klin
,
Beata Nachyla
Some undecidable properties of SOS specifications.
J. Log. Algebraic Methods Program.
87 (2017)
Bartek Klin
,
Beata Nachyla
Presenting Morphisms of Distributive Laws.
CALCO
(2015)
Bartek Klin
,
Beata Nachyla
Distributive Laws and Decidable Properties of SOS Specifications.
EXPRESS/SOS
(2014)
Beata Nachyla
Creating Knowledge Base from Automatically Extracted Information.
HAIS
(2013)