Publications

A Labeled Deduction System for the Logic Ub

AuthID
P-009-CSM

Author(s)

Caleiro, C

Vigano, L

Volpe, M

Editor(s)

César Sánchez; Kristen Brent Venable; Esteban Zimányi

Document Type

Proceedings Paper

Year published

2013

Published

in 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) in International Workshop on Temporal Representation and Reasoning, ISSN: 1530-1311

Pages: 45-53 (9)

Conference

20Th International Symposium on Temporal Representation and Reasoning (Time), Date: SEP 26-28, 2013, Location: Florida Inst Human Machine Cognit, Pensacola, FL, Sponsors: Florida Institute of Human and Machine Cognition (IHMC), Host: Florida Inst Human Machine Cognit

Indexing