Filter your results
- 92
- 11
- 59
- 27
- 10
- 4
- 2
- 1
- 101
- 4
- 1
- 3
- 1
- 4
- 8
- 2
- 3
- 1
- 4
- 6
- 2
- 3
- 6
- 1
- 3
- 4
- 2
- 5
- 4
- 4
- 5
- 5
- 9
- 6
- 9
- 2
- 1
- 102
- 1
- 100
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 103
- 26
- 21
- 11
- 9
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
103 Results
An Epistemic Resource Logic based on Boolean BIInt. Workshop Substructural Logics: Semantics, Proof Theory and Applications, SYSMICS 2018, 2018, Vienna, Austria
Conference papers
hal-02986789v1
|
|||
Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear LogicInternational Workshop on Automated Reasoning in Quantified Non-Classical Logics, ARQNL 2018, 2018, Oxford, United Kingdom. pp.49-63
Conference papers
hal-02982539v1
|
|||
|
Separation Logic with One Quantified VariableCSR 2014, Jun 2014, Moscou, Russia. ⟨10.1007/978-3-319-06686-8_10⟩
Conference papers
hal-01258802v1
|
||
|
A Connection-based Characterization of Bi-intuitionistic ValidityJournal of Automated Reasoning, 2013, 51 (1), pp.3--26. ⟨10.1007/s10817-013-9279-4⟩
Journal articles
istex
hal-01258963v1
|
||
STRIP: Structural sharing and intuitionistic proof-search[Intern report] A00-R-342 || galmiche00h, 2000, 5 p
Reports
inria-00099328v1
|
|||
|
Connection Methods in Linear Logic and Proof nets ConstructionTheoretical Computer Science, 2000, 232 (1-2), pp.231-272. ⟨10.1016/S0304-3975(99)00176-0⟩
Journal articles
inria-00099205v1
|
||
Labelled Calculi for Lukasiewicz Logics15th International Workshop on Logic, Language, Information and Computation - WoLLIC '08, Jul 2008, Edinburgh, United Kingdom. pp.194--207
Conference papers
hal-00580305v1
|
|||
Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, Jul 2021, Buenos Aires/online, Argentina. pp.1-21, ⟨10.4230/LIPIcs.FSCD.2021.13⟩
Conference papers
hal-03563655v1
|
|||
A Connection-based Characterization of Bi-intuitionistic Validity23rd International Conference on Automated Deduction, CADE-23, Jul 2011, Wroclaw, Poland. pp.253-267
Conference papers
hal-00580301v1
|
|||
|
The Undecidability of Boolean BI through Phase Semantics25th Annual IEEE Symposium on Logic in Computer Science - LICS 2010, Jul 2010, Edinburgh, United Kingdom. pp.140-149, ⟨10.1109/LICS.2010.18⟩
Conference papers
hal-00577919v1
|
||
The semantics of BI and resource tableauxMathematical Structures in Computer Science, 2005, 15, pp.1033-1088
Journal articles
hal-00076735v1
|
|||
Alan TuringJack Copeland; Didier Galmiche; Dominique Larchey-Wendling; Joseph Vidal-Rosset. , 2012, 9782841746033
Books
hal-01245182v1
|
|||
|
A Separation Logic for Resource Distribution23rd Conference on Foundations of Software Technology and Theoretical Computer Science 2003 - FST TCS'03, 2003, Mumbai/India, pp.23-37, ⟨10.1007/b94618⟩
Conference papers
inria-00099555v1
|
||
Special issue of Philosophia Scientiae - Alan Turing16 (3), 2012
Books
hal-01262634v1
|
|||
Connection Methods in Linear Logic and Proof Nets Construction Generation in Mixed LogicsSemantic Foundations of Proof-search, 2001, Schloss Dagsthul/Germany
Conference papers
inria-00100575v1
|
|||
|
Expressivity properties of Boolean BI through Relational Models26th Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2006, Dec 2006, Kolkota, India. pp.357-368, ⟨10.1007/11944836_33⟩
Conference papers
istex
hal-00176787v1
|
||
Special Issue on Proof Theory of Concurrent Object-Oriented ProgrammingCambridge University Press, 1999, Mathematical Structures in Computer Science
Books
inria-00098994v1
|
|||
Proof nets Construction and Automated Deduction in Non-commutative Linear Logic - extended abstractElectronic Notes in Theoretical Computer Science, 1998, 17, pp.1-20
Journal articles
inria-00098604v1
|
|||
STRIP: Structural Sharing for Efficient Proof-search2001, Siena, Italy, pp.696 - 700
Conference papers
hal-00008805v1
|
|||
Proof Plans and Proof Nets in Linear Logic -AbstractFloc'99 Workshop on Strategies in Automated Deduction, 1999, Trento, Italy, 2 p
Conference papers
inria-00098989v1
|
|||
Labelled Proof Systems for Intuitionistic ProvabilityD. Basin, M. D'Agostino, D.M. Gabbay, S. Matthews, L. Vigano. Labelled Deduction, 17 (17), Kluwer Academic Publishers, 31 p, 2000, Applied Logic Series, 0-7923-6237-3
Book sections
inria-00098993v1
|
|||
Resource Models and Proofs in Bunched Implications LogicFirst APPSEM-II Workshop 2003 - (Applied Semantics II), 2003, Nottingham/UK
Conference papers
inria-00099552v1
|
|||
|
Tableaux and Resource Graphs for Separation LogicJournal of Logic and Computation, 2010, 20 (1), pp.189-231. ⟨10.1093/logcom/exn066⟩
Journal articles
istex
hal-00580299v1
|
||
|
A procedure for automatic proof nets constructionConference on Logic Programming and Automated Reasoning, LPAR'92, 1992, St-Petersburg, Russia. pp.42-53
Conference papers
hal-01297750v1
|
||
|
A substructural epistemic resource logic: theory and modelling applicationsJournal of Logic and Computation, 2019, 29 (8), pp.1251-1287. ⟨10.1093/logcom/exz024⟩
Journal articles
hal-02980658v1
|
||
|
Label-free Proof Systems for Intuitionistic Modal Logic IS516th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Apr 2010, Dakar, Senegal. pp.255-271, ⟨10.1007/978-3-642-17511-4_15⟩
Conference papers
istex
hal-00580298v1
|
||
Labelled Cyclic Proofs for Separation LogicJournal of Logic and Computation, 2021, 31 (3), pp.892-922
Journal articles
hal-03563631v1
|
|||
Proof-search and Proof nets in Mixed Linear LogicElectronic Notes in Theoretical Computer Science, 2001, 37, pp.1-33
Journal articles
inria-00099227v1
|
|||
|
A Logic of Separating ModalitiesTheoretical Computer Science, 2016, 637 (1), pp.30-58. ⟨10.1016/j.tcs.2016.04.040⟩
Journal articles
hal-02980943v1
|
||
A Modal Extension of Boolean BI for Resource TransformationsInt. Workshop on Logics for Resources, Processes and Programs, LRPP 2013, 2013, Nancy, France
Conference papers
hal-01259775v1
|