Search for Author All Reviews
	Demri, Stephane     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Two-variable separation logic and its inner circle Demri S., Deters M. ACM Transactions on Computational Logic 16(2): 1-36, 2015.  Type: Article Separation logic, an extension of Hoare logic, is currently a very active area of research. This paper investigates the expressiveness of this logic by exploring various restricted forms of it. Relations between fragments of separation...... Jun 23 2015     The complexity of propositional linear temporal logics in simple cases Demri S., Schnoebelen P. Information and Computation 174(1): 84-103, 2002.  Type: Article Propositional linear temporal logic (PLTL) is the basic logical tool that is utilized for the specification and verification of reactive systems. The main syntactic feature of PLTL is that it uses the temporal operators X... Jan 8 2003     A class of decidable information logics Demri S. Theoretical Computer Science 195(1): 33-60, 1998.  Type: Article The results presented here will interest those studying the decision problems of modal logics. The work has a tenuous link with practice. If data mining is about discovering general properties of databases, this paper does the reverse:...... Jul 1 1998
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy