Skip to Main content Skip to Navigation
Book sections

“Logic Wins!”

Jean Goubault-Larrecq 1
1 LSV - Laboratoire Spécification et Vérification
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/hal-03195566
Contributor : Jean Goubault-Larrecq <>
Submitted on : Sunday, April 11, 2021 - 8:15:26 PM
Last modification on : Saturday, May 1, 2021 - 3:40:55 AM

Links full text

istex

Identifiers

Collections

CNRS | ENS-CACHAN | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE

Citation

Jean Goubault-Larrecq. “Logic Wins!”. Proceedings of the 13th Asian Computing Science Conference (ASIAN'09), volume 5913 of Lecture Notes in Computer Science, Seoul, Korea, December 2009. Springer., pp.1-16, 2009, ⟨10.1007/978-3-642-10622-4_1⟩. ⟨hal-03195566⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

29

 

Contact                    Legal Notice                    Personal Data