Pierre Lescanne
- Counting and generating lambda terms
2012/10/09 by Pierre Lescanne, Grygiel, Katarzyna, Katarzyna Grygiel +1 · 1 voice · 3 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Natural Language Processing Techniques #semigroups and automata theory
- Dynamic Logic of Common Knowledge in a Proof Assistant
2007/12/19 by Pierre Lescanne, Lescanne, Pierre, Jérôme Puisségur +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- Conversion/Preference Games
2008/11/03 by Stéphane Le Roux, Roux, Stéphane Le, Pierre Lescanne +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Decision Sciences · Social Sciences · #Computer Science and Game Theory (cs.GT) #Evolutionary Game Theory and Cooperation #FOS: Computer and information sciences #Game Theory and Applications #Gene Regulatory Network Analysis