.:. Consultation > Liste par discipline > Logique en informatique .:.

391 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 4 - 5 - 6 - 7 - 8 - 9 - 10 ...

Combining theories: the Ackerman and Guarded Fragments Areces C., Fontaine P. Dans 8th International Symposium Frontiers of Combining Systems - FroCoS 2011 6989 (2011) 40--54 [hal-00642529 - version 1]

Parsing Coordination Extragrammatically Dufour-Lussier V., Guillaume B., Perrier G. Dans 5th Language & Technology Conference - LTC'11 (2011) [hal-00639929 - version 1]

Modular Termination and Combinability for Superposition Modulo Counter Arithmetic Ringeissen C., Senni V. Dans Frontiers of Combining Systems, 8th International Symposium, FroCoS'2011 6989 (2011) 211-226 [inria-00636589 - version 1]

Formal Grammar, 14th International Conference, FG 2009, Revised Selected Papers De Groote P., Egg M., Kallmeyer L. Springer (Ed.) (2011) 213 [inria-00608514 - version 1]

Logic and Grammar. Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday Pogodalla S., Quatrini M., Retoré C. Springer (Ed.) (2011) 159 [inria-00607880 - version 1]

Proving Weak Properties of Rewriting Gnaedig I., Kirchner H. Theoretical Computer Science 412 (2011) 4405-4438 [inria-00592271 - version 1]

Automatic Decidability and Combinability Lynch C., Ranise S., Ringeissen C., Tran D.-K. Information and Computation 209, 7 (2011) 1026-1047 [inria-00586936 - version 1]

A Connection-based Characterization of Bi-intuitionistic Validity Galmiche D., Mery D. Dans 23rd International Conference on Automated Deduction, CADE-23 (2011) 15 [hal-00580301 - version 1]

Characterization of bi-intuitionistic validity through resource games Galmiche D., Mery D. Dans International Workshop on Games for Logic and Programming Languages VI, GaLoP VI (2011) 10 [hal-00580300 - version 1]

Sequent Calculi and Decidability for Intuitionistic Hybrid Logic Galmiche D., Salhi Y. Information and Computation 209, 12 (2011) 1447-1463 [hal-00580297 - version 1]