Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

System Description: GAPT 2.0.

G. Ebner, S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, and S. Zivota. IJCAR, volume 9706 of Lecture Notes in Computer Science, page 293-301. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Pascal Fabian Reisert University of Stuttgart

Dr. Ellen Reister University of Stuttgart

Rodolfo Reis Soldati University of Stuttgart

Dr. -Ing. Martin Reiser University of Stuttgart

Stefanie Reisinger University of Stuttgart

Other publications of authors with the same name

Towards CERes in intuitionistic logic.A. Leitsch, G. Reis, and B. Paleo. CSL, volume 16 of LIPIcs, page 485-499. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)Checking Proof Transformations with ASP.V. Nigam, G. Reis, and L. Lima. TPLP, (2013)Ceres in intuitionistic logic.D. Cerna, A. Leitsch, G. Reis, and S. Wolfsteiner. Ann. Pure Appl. Logic, 168 (10): 1783-1836 (2017)An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials.K. Chaudhuri, and G. Reis. LPAR, volume 9450 of Lecture Notes in Computer Science, page 146-161. Springer, (2015)On the Generation of Quantified Lemmas.G. Ebner, S. Hetzl, A. Leitsch, G. Reis, and D. Weller. J. Autom. Reasoning, 63 (1): 95-126 (2019)The ILLTP Library for Intuitionistic Linear Logic.C. Olarte, V. de Paiva, E. Pimentel, and G. Reis. Linearity-TLLA@FLoC, volume 292 of EPTCS, page 118-132. (2018)Mechanizing Focused Linear Logic in Coq.B. Xavier, C. Olarte, G. Reis, and V. Nigam. Electr. Notes Theor. Comput. Sci., (2018)Formalized meta-theory of sequent calculi for linear logics.K. Chaudhuri, L. Lima, and G. Reis. Theor. Comput. Sci., (2019)The Proof Certifier Checkers.Z. Chihani, T. Libal, and G. Reis. TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 201-210. Springer, (2015)A Note on the Complexity of Classical and Intuitionistic Proofs.M. Baaz, A. Leitsch, and G. Reis. LICS, page 657-666. IEEE Computer Society, (2015)