Luis Menasché Schechter

According to our database, Luis Menasché Schechter authored at least 13 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

A logic of plausible justifications.

Luis Menasché Schechter

Theor. Comput. Sci., 2015

2014

Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator.

Mario R. F. Benevides, Luis Menasché Schechter

J. Log. Comput., 2014

Polynomial hierarchy graph properties in hybrid logic.

Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins

J. Comput. Syst. Sci., 2014

2011

A study on multi-dimensional products of graphs and hybrid logics.

Mario R. F. Benevides, Luis Menasché Schechter

Theor. Comput. Sci., 2011

Hybrid Logics and NP Graph Properties.

Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins

Proceedings of the Logic, Language, Information and Computation, 2011

2009

Using modal logics to express and check global graph properties.

Mario R. F. Benevides, Luis Menasché Schechter

Log. J. IGPL, 2009

A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus.

Mario R. F. Benevides, Luis Menasché Schechter

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Product of Graphs and Hybrid Logic.

Mario R. F. Benevides, Luis Menasché Schechter

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

CCS-Based Dynamic Logics for Communicating Concurrent Programs

Mario R. F. Benevides, Luis Menasché Schechter

CoRR, 2009

2008

A Logical Approach to Hamiltonian Graphs.

Luis Menasché Schechter

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

A Propositional Dynamic Logic for CCS Programs.

Mario R. F. Benevides, Luis Menasché Schechter

Proceedings of the Logic, 2008

2007

Modal Expressiveness of Graph Properties.

Mario R. F. Benevides, Luis Menasché Schechter

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007

2006

Algebraic solutions of holomorphic foliations: An algorithmic approach.

S. C. Coutinho, Luis Menasché Schechter

J. Symb. Comput., 2006