A logic of plausible justifications von Schechter, L. Menasché

Volltext

Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator von Benevides, M. R. F., Schechter, L. M.

Volltext

A study on multi-dimensional products of graphs and hybrid logics von Benevides, Mario R.F., Schechter, L. Menasché

Volltext

Algebraic solutions of plane vector fields von Coutinho, S.C., Menasché Schechter, L.

Volltext

A Logical Approach to Hamiltonian Graphs von Schechter, L. Menasché

Volltext

Product of Graphs and Hybrid Logic von Benevides, Mario R.F., Schechter, L. Menasché

Volltext

A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus von Benevides, Mario R.F., Schechter, L. Menasché

Volltext

Modal Expressiveness of Graph Properties von Benevides, Mario R.F., Schechter, L. Menasché

Volltext

Using modal logics to express and check global graph properties von Benevides, Mario R. F., Schechter, L. Menasché

Volltext

Polynomial hierarchy graph properties in hybrid logic von Ferreira, F.M., Freire, C.M., Benevides, M.R.F., Menasché Schechter, L., Martins, A.T.

Volltext

A Propositional Dynamic Logic for CCS Programs von Benevides, Mario R. F., Schechter, L. Menasché

Volltext

A Logic of Plausible Justifications von Menasché Schechter, L.

Volltext

Algebraic solutions of holomorphic foliations: An algorithmic approach von Coutinho, S.C., Menasché Schechter, L.

Volltext

A study on multi-dimensional products of graphs and hybrid logics: Logical and Semantic Frameworks with Applications (LSFA 2008 and 2009) von BENEVIDES, Mario R. F, MENASCHE SCHECHTER, L

Volltext

Logic, Language, Information, and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings von Ong, Luke, Queiroz, Ruy de

Volltext

CCS-Based Dynamic Logics for Communicating Concurrent Programs von Benevides, Mario R. F, Schechter, L. Menasché

Volltext bestellen

Hybrid Logics and NP Graph Properties von Ferreira, Francicleber Martins, Freire, Cibele Matos, Benevides, Mario R. F., Schechter, L. Menasché, Martins, Ana Teresa

Volltext

CCS-Based Dynamic Logics for Communicating Concurrent Programs von Benevides, Mario R F, Schechter, L Menasché

Volltext

Rab27b regulates exocytosis of secretory vesicles in acinar epithelial cells from the lacrimal gland von Chiang, Lilian, Ngo, Julie, Schechter, Joel E, Karvar, Serhan, Tolmachova, Tanya, Seabra, Miguel C, Hume, Alistair N, Hamm-Alvarez, Sarah F

Volltext

Current status of gene delivery and gene therapy in lacrimal gland using viral vectors von Selvam, Shivaram, Thomas, Padmaja B., Hamm-Alvarez, Sarah F., Schechter, Joel E., Stevenson, Douglas, Mircheff, Austin K., Trousdale, Melvin D.

Volltext