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
Record link:
http://hdl.handle.net/20.500.12708/156009
-
Title:
Finite-valued Semantics for Canonical Labelled Calculi
en
Citation:
Baaz, M., Lahav, O., & Zamansky, A. (2013). Finite-valued Semantics for Canonical Labelled Calculi.
Journal of Automated Reasoning
,
51
(4), 401–430. https://doi.org/10.1007/s10817-013-9273-x
-
Publisher DOI:
10.1007/s10817-013-9273-x
-
Publication Type:
Article - Original Research Article
en
Language:
English
-
Authors:
Baaz, Matthias
Lahav, Ori
Zamansky, Anna
-
Organisational Unit:
E104-02 - Forschungsbereich Computational Logic
E192-05 - Forschungsbereich Theory and Logic
-
Journal:
Journal of Automated Reasoning
-
ISSN:
0168-7433
-
Date (published):
15-Mar-2013
-
Number of Pages:
30
-
Publisher:
SPRINGER
-
Peer reviewed:
Yes
-
Keywords:
Software; Artificial Intelligence; Computational Theory and Mathematics
-
Research Areas:
Computer Science Foundations: 80%
Mathematical and Algorithmic Foundations: 20%
-
Science Branch:
Informatik
-
Appears in Collections:
Article
Show full item record
Page view(s)
95
checked on Nov 23, 2023
Google Scholar
TM
Check