Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link:
http://hdl.handle.net/20.500.12708/120084
-
Title:
Effective finite-valued semantic for labelled calculi
-
Citation:
Baaz, M., Lahav, O., & Zamansky, A. (2012).
Effective finite-valued semantic for labelled calculi
. Pisa Summer Workshop on Proof Theory, Pisa, Italy, EU. http://hdl.handle.net/20.500.12708/120084
-
Publication Type:
Presentation - Conference presentation
en
Authors:
Baaz, Matthias
Lahav, Ori
Zamansky, Anna
-
Organisational Unit:
E104-02 - Forschungsbereich Computational Logic
-
Date (published):
2012
-
Event name:
Pisa Summer Workshop on Proof Theory
-
Event date:
12-Jun-2012 - 15-Jun-2012
-
Event place:
Pisa, Italy, EU
-
Science Branch:
Mathematik, Informatik
-
Appears in Collections:
Presentation
Show full item record
Page view(s)
47
checked on Dec 1, 2023
Google Scholar
TM
Check