Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Keyword
is
Hybrid Logics
[Clear All Filters]
2012
C. Areces
,
S. Figueira
, and
S. Mera
, “
Completeness Results for Memory Logics
”,
Annals of Pure and Applied Logic
, vol. 163, no. 7, p. 961-972, 2012.
DOI
Google Scholar
BibTex
Completeness_Results_for_Memory_Logics.pdf
(401.9 KB)
Main menu
Home
Work Packages
Partners & People
Announcements
Publications
Deliverables
Contents
Home
Work Packages
Partners & People
Announcements
Publications
Authors
WP1
WP2
WP3
WP4
WP5
Deliverables