Suchergebnisse - F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics
-
1
Defeasible logic programming: language definition, operational semantics, and parallelism
ISSN: 1666-6046, 1666-6038Veröffentlicht: La Plata Graduate Network of Argentine Universities with Computer Science Schools (RedUNCI) 01.10.2001Veröffentlicht in Journal of Computer Science & Technology (01.10.2001)“… This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics …”
Volltext
Journal Article