Publications :: Search

Show author

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

Author information
First name:	Vincent
Last name:	Rahli
DBLP:	53/4456
Rating:	(not rated yet)
Bookmark:

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

Show item 1 to 3 of 3  

Select a publication
Show	Title	Venue	Rating	Date
	Fairouz Kamareddine, Vincent Rahli. Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction.	Electr. Notes Theor. Comput. Sci. 2009, Volume 247	(0)	2009
	Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells. A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.	Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings 2008	(0)	2008
	Virgile Mogbil, Vincent Rahli. Uniform Circuits, Boolean Proof Nets.	Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings 2007	(0)	2007

Your query returned 3 matches in the database.