output
20052011
most citedLarge-scale magnetic topologies of late M dwarfs

466 citations

researchers with a paper here
collaborating institutions
Showing 2011 · cs.LOShow all

2 papers · 2 filters

cs.LO2011

Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

This paper relates the well-known Linear Temporal Logic with the logic of propositional schemata introduced by the authors. We prove that LTL is equivalent to a class of schemata i…

cs.LO2011

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

Dominique Duval, Rachid Echahed, Frédéric Prost

Rewriting systems are often defined as binary relations over a given set of objects. This simple definition is used to describe various properties of rewriting such as termination,…