Logical Methods in Computer Science

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Logical Methods in Computer Science
 
e-ISSN
1860-5974
 
ISSN
1860-5974
 
Publisher Herausgeber
LOGICAL METHODS COMPUTER SCIENCE E V
 
Publisher's Address Herausgeber Adresse
KLEISTSTR 22, BRAUNSCHWEIG, GERMANY, 38124
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
Listed in DOAJ Aufgelisted im DOAJ
 

Publications Publikationen

Results 1-20 of 20 (Search time: 0.009 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hetzl, Stefan ; Vierling, Jannik Clause Set Cycles and InductionArtikel Article 2020
2Kotek, Tomer ; Makowsky, Johann A. Connection Matrices and the Definability of Graph ParametersArtikel Article 2014
3Bydzovsky, Jan ; Krajicek, Jan ; Oliveira, Igor Consistency of circuit lower bounds with bounded theoriesArtikel Article 2020
4Merkl, Timo Camillo ; Pichler, Reinhard ; Skritek, Sebastian Diversity of Answers to Conjunctive QueriesArticle Artikel 28-Jan-2025
5Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Artikel Article 2018
6Metcalfe, George ; Cabrer, Leonardo Exact Unification and AdmissibilityArtikel Article 2015
7Ganian, Robert ; Hlineny, Petr ; Kral, Daniel ; Obdrzalek, Jan ; Schwartz, Jarett ; Teska, Jakub FO Model Checking of Interval GraphsArtikel Article 2015
8Hetzl, Stefan ; Strassburger, Lutz Herbrand-ConfluenceArtikel Article 2013
9Randrianomentsoa-2023-Logical Methods in Computer Science-vor.pdf.jpgRandrianomentsoa, Rojo Fanamperana ; van Ditmarsch, Hans ; Kuznets, Roman Impure simplicial complexes: complete axiomatizationArticle Artikel 18-Oct-2023
10Ramanayake, Don Revantha Shiyan Inducing syntactic cut-elimination for indexed nested sequentsArtikel Article 2018
11Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Local Redundancy in SAT: Generalizations of Blocked ClausesArtikel Article 2018
12Schwichtenberg, Helmut ; Wiesnet, Franziskus Logic for exact real arithmeticArtikel Article 20-Apr-2021
13Nenzi, Laura ; Bartocci, E. ; Bortolussi, Luca ; Loreti, Michele A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical SystemsArticle Artikel 2022
14Aschieri, Federico On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LCArtikel Article 2016
15Aminof, Benjamin ; Rubin, Sasha ; Spegni, Francesco ; Zuleger, Florian Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast SystemsArticle Artikel 24-Jun-2025
16Dawar, Anuj ; Veith, Helmut Selected Papers of the Conference "Computer Science Logic CSL 2010": PrefaceArtikel Article2012
17Hetzl, Stefan ; Wong, Tin Lok Some observations on the logical foundations of inductive theorem provingArtikel Article 2018
18Sokolova, Ana ; Woracek, Harald Termination in Convex Sets of DistributionsArtikel Article 2018
19Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiabilityArtikel Article 6-Mar-2012
20Droste, Manfred ; Kuich, Werner Weighted omega-Restricted One-Counter AutomataArtikel Article 2018