884 search results - page 84 / 177 » The Linear Logic of Multisets |
130
Voted
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...
115
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
123
Voted
PTS
1998
15 years 4 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
124
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Reversible logic is the basis for several emerging technologies such as quantum computing, optical computing, or DNA computing and has further applications in domains like low-pow...
133
click to vote
ESOP
2010
Springer
16 years 26 days ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...