L. Menasché Schechter

Available identifiers

Publication	Date of Publication	Type
A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus	2016-08-05	Paper
A logic of plausible justifications	2015-10-12	Paper
A Logical Approach to Hamiltonian Graphs	2015-03-18	Paper
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator	2015-01-12	Paper
Product of Graphs and Hybrid Logic	2014-07-23	Paper
Modal expressiveness of graph properties	2013-12-13	Paper
A Logic of Plausible Justifications	2012-09-21	Paper
A study on multi-dimensional products of graphs and hybrid logics	2011-12-23	Paper
Hybrid Logics and NP Graph Properties	2011-05-27	Paper
Using modal logics to express and check global graph properties	2009-11-12	Paper
Algebraic solutions of plane vector fields	2008-11-11	Paper
A Propositional Dynamic Logic for CCS Programs	2008-07-10	Paper
Algebraic solutions of holomorphic foliations: an algorithmic approach	2007-10-23	Paper

This page was built for person: L. Menasché Schechter