L. Menasché Schechter

Available identifiers

zbMath Open schechter.luis-menascheMaRDI QIDQ654914

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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