L. Menasché Schechter

	2009
6		Mario R. F. Benevides, L. Menasché Schechter: CCS-Based Dynamic Logics for Communicating Concurrent Programs CoRR abs/0904.0034: (2009)
5		L. Menasché Schechter: A Logical Approach to Hamiltonian Graphs. Electr. Notes Theor. Comput. Sci. 247: 123-138 (2009)
4		Mario R. F. Benevides, L. Menasché Schechter: Product of Graphs and Hybrid Logic. Electr. Notes Theor. Comput. Sci. 256: 103-118 (2009)
	2008
3		Mario R. F. Benevides, L. Menasché Schechter: A Propositional Dynamic Logic for CCS Programs. WoLLIC 2008: 83-97
2		Mario R. F. Benevides, L. Menasché Schechter: Modal Expressiveness of Graph Properties. Electr. Notes Theor. Comput. Sci. 205: 31-47 (2008)
	2006
1		S. C. Coutinho, L. Menasché Schechter: Algebraic solutions of holomorphic foliations: An algorithmic approach. J. Symb. Comput. 41(5): 603-618 (2006)

Coauthor Index

1	Mario R. F. Benevides	[2] [3] [4] [6]
2	S. C. Coutinho	[1]

Colors in the list of coauthors