Go back to Dagstuhl Reports 
Coquand, Thierry ;
Ishihara, Hajime ;
Negri, Sara ;
Schuster, Peter M.
Weitere Beteiligte (Hrsg. etc.): Thierry Coquand and Hajime Ishihara and Sara Negri and Peter M. Schuster
pdfformat: 

@Article{coquand_et_al:DagRep.11.10.151, author = {Coquand, Thierry and Ishihara, Hajime and Negri, Sara and Schuster, Peter M.}, title = {{Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472)}}, pages = {151172}, journal = {Dagstuhl Reports}, ISSN = {21925283}, year = {2022}, volume = {11}, number = {10}, editor = {Coquand, Thierry and Ishihara, Hajime and Negri, Sara and Schuster, Peter M.}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/15932}, URN = {urn:nbn:de:0030drops159321}, doi = {10.4230/DagRep.11.10.151}, annote = {Keywords: automated theorem proving, categorical semantics, constructivisation, geometric logic, proof theory} }
Keywords:  automated theorem proving, categorical semantics, constructivisation, geometric logic, proof theory  
Collection:  DagRep, Volume 11, Issue 10  
Issue Date:  2022  
Date of publication:  11.04.2022 