Back to Search Start Over

Logical and Semantic Frameworks with Applications.

Authors :
Ayala-Rincón, Mauricio
Mackie, Ian
Montanari, Ugo
Source :
Theoretical Computer Science. Jul2017, Vol. 685, p1-2. 2p.
Publication Year :
2017

Subjects

Subjects :
*SEMANTICS
*FEEDBACK control systems
*KRIPKE semantics
*LOGIC
*GRAPH theory

Details

Language :
English
ISSN :
03043975
Volume :
685
Database :
Academic Search Index
Journal :
Theoretical Computer Science
Publication Type :
Academic Journal
Accession number :
123503477
Full Text :
https://doi.org/10.1016/j.tcs.2017.05.028
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details