Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Guy
Last name:	Perrier
DBLP:	70/3797
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 15 of 15  

Select a publication
Show	Title	Venue	Rating	Date
	Jonathan Marchand Marchand, Bruno Guillaume, Guy Perrier. Analyse en dépendances à l'aide des grammaires d'interaction	CoRR 2009, Volume 0	(0)	2009
	Bruno Guillaume, Guy Perrier. Interaction Grammars	CoRR 2008, Volume 0	(0)	2008
	Guillaume Bonfante, Joseph Le Roux, Guy Perrier. Lexical Disambiguation with Polarities and Automata.	Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings 2006	(0)	2006
	Guy Perrier. Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions.	Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings 2001	(0)	2001
	Guy Perrier. Interaction Grammars.	COLING 2000, 18th International Conference on Computational Linguistics, Proceedings of the Conference, 2 Volumes, July 31 - August 4, 2000, Universität des Saarlandes, Saarbrücken, Germany 2000	(0)	2000
	Guy Perrier. Labelled Proof Nets for the Syntax and Semantics of Natural Languages.	Logic Journal of the IGPL 1999, Volume 7	(0)	1999
	Guy Perrier. A PSPACE-complete Fragment of Second-order Linear Logic.	Theor. Comput. Sci. 1999, Volume 224	(0)	1999
	Philippe de Groote, Guy Perrier. A Note on Kobayashi's and Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''.	Formal Asp. Comput. 1998, Volume 10	(0)	1998
	Guy Perrier. Concurrent programming as proof net construction.	Mathematical Structures in Computer Science 1998, Volume 8	(0)	1998
	Guy Perrier. Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''.	Theor. Comput. Sci. 1998, Volume 206	(0)	1998
	Guy Perrier. A Decidable Fragment of Second Order Linear Logic.	Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings 1997	(0)	1997
	Didier Galmiche, Guy Perrier. Foundations of Proof Search Strategies Design in Linear Logic.	Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings 1994	(0)	1994
	Didier Galmiche, Guy Perrier. On Proof Normalization in Linear Logic.	Theor. Comput. Sci. 1994, Volume 135	(0)	1994
	Didier Galmiche, Guy Perrier. Automated Deduction in Additive and Multiplicative Linear Logic.	Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings 1992	(0)	1992
	Didier Galmiche, Guy Perrier. A Procedure for Automatic Proof Nets Construction.	Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings 1992	(0)	1992

Your query returned 15 matches in the database.