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/163963
-
Title:
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
en
Citation:
Baaz, M., Ciabattoni, A., & Fermüller, C. (2012). Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability.
Logical Methods in Computer Science
,
8
(1). https://doi.org/10.2168/lmcs-8(1:20)2012
-
Publisher DOI:
10.2168/lmcs-8(1:20)2012
-
Publication Type:
Artikel - Original Research Article
de
Article - Original Research Article
en
Language:
English
-
Authors:
Baaz, Matthias
Ciabattoni, Agata
Fermüller, Christian
-
Organisational Unit:
E104-02 - Forschungsbereich Computational Logic
E192-05 - Forschungsbereich Theory and Logic
-
Journal:
Logical Methods in Computer Science
-
ISSN:
1860-5974
-
Date (published):
6-Mar-2012
-
Number of Pages:
20
-
Publisher:
LOGICAL METHODS COMPUTER SCIENCE E V
-
Peer reviewed:
Yes
-
Keywords:
Theoretical Computer Science; General Computer Science
-
Research Areas:
Computer Science Foundations: 100%
-
Science Branch:
Mathematik, Informatik
-
Appears in Collections:
Article
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
45
checked on Sep 23, 2023
Google Scholar
TM
Check