ANR DynRes | Main / Publications

November 06, 2015, at 12:06 PM EST by 152.81.3.38 -

Changed line 19 from:

# [[Attach:ToCS15.pdf|''Separation Logic with One Quantified Variable (extended version)'']], Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, ''Theory of Computing Systems'', 2015 (to appear).

to:

# [[Attach:ToCS15_final.pdf|''Separation Logic with One Quantified Variable (extended version)'']], Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, ''Theory of Computing Systems'', 2015 (to appear).

September 17, 2015, at 05:11 PM EST by 152.81.3.38 -

Changed line 19 from:

# [[Attach:ToCS15.pdf|''Separation Logic with One Quantified Variable (extended version)'']], , Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, ''Theory of Computing Systems'', 2015 (to appear).

to:

# [[Attach:ToCS15.pdf|''Separation Logic with One Quantified Variable (extended version)'']], Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, ''Theory of Computing Systems'', 2015 (to appear).

September 17, 2015, at 05:11 PM EST by 152.81.3.38 -

Added line 19:

# [[Attach:ToCS15.pdf|''Separation Logic with One Quantified Variable (extended version)'']], , Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, ''Theory of Computing Systems'', 2015 (to appear).

June 12, 2015, at 03:38 PM EST by 152.81.3.38 -

Changed line 15 from:

# [[Attach:JLC15.pdf|''A modal separation logic for resource dynamics'']], Jean-René Courtault and Didier Galmiche, ''Journal of Logic and Computation'', 2015, to appear.

to:

# [[Attach:JLC15.pdf|''A modal separation logic for resource dynamics'']], Jean-René Courtault and Didier Galmiche, ''Journal of Logic and Computation'', 2015 (to appear).

June 12, 2015, at 03:37 PM EST by 152.81.3.38 -

Changed line 18 from:

# [[Attach:JLC15b.pdf|''Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization.''], Philippe Balbiani and Joseph Boudou, ''Journal of Logic and Computation'', 2015 (to appear).

to:

# [[Attach:JLC15b.pdf|''Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization.'']], Philippe Balbiani and Joseph Boudou, ''Journal of Logic and Computation'', 2015 (to appear).

June 12, 2015, at 03:37 PM EST by 152.81.3.38 -

Changed lines 15-20 from:

# [[Attach:JLC15.pdf|''A modal separation logic for resource dynamics'']], Jean-René Courtault and Didier Galmiche, ''Journal of Logic and Computation'', 2015, to appear.

to:

# [[Attach:JLC15.pdf|''A modal separation logic for resource dynamics'']], Jean-René Courtault and Didier Galmiche, ''Journal of Logic and Computation'', 2015, to appear.
# [[Attach:CADE15.pdf|''Tableaux methods for propositional dynamic logics with separating parallel composition'']], Philippe Balbiani and Joseph Boudou, ''CADE 2015''.
# [[Attach:MFCS15.pdf|''Exponential-size model property for PDL with separating parallel composition'']], Joseph Boudou, ''MFCS 2015''.
# [[Attach:JLC15b.pdf|''Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization.''], Philippe Balbiani and Joseph Boudou, ''Journal of Logic and Computation'', 2015 (to appear).

June 12, 2015, at 12:53 PM EST by 152.81.3.38 -

Changed lines 15-16 from:

# [[Attach:JLC15.pdf|''A modal separation logic for resource dynamics'']], Jean-René Courtault and Didier Galmiche,
''Journal of Logic and Computation'', 2015, to appear.

to:

# [[Attach:JLC15.pdf|''A modal separation logic for resource dynamics'']], Jean-René Courtault and Didier Galmiche, ''Journal of Logic and Computation'', 2015, to appear.

June 12, 2015, at 12:53 PM EST by 152.81.3.38 -

Changed lines 14-16 from:

# [[Attach:WoLLIC15.pdf|''An Epistemic Separation Logic'']], Jean-René Courtault, Hans van Ditmarsch and Didier Galmiche, ''WoLLIC 2015'', LNCS 9160:1-18, Bloomington, USA, 2015.

to:

# [[Attach:WoLLIC15.pdf|''An Epistemic Separation Logic'']], Jean-René Courtault, Hans van Ditmarsch and Didier Galmiche, ''WoLLIC 2015'', LNCS 9160:1-18, Bloomington, USA, 2015.
# [[Attach:JLC15.pdf|''A modal separation logic for resource dynamics'']], Jean-René Courtault and Didier Galmiche,
''Journal of Logic and Computation'', 2015, to appear.

June 12, 2015, at 12:52 PM EST by 152.81.3.38 -

Changed line 14 from:

# [[Attach:WoLLIC15.pdf|''An Epistemic Separation Logic'']], Jean-René Courtault, Hans van Ditmarsch and Didier Galmiche, ''WoLLIC 2015'', LNCS 9160::1-18, Bloomington, USA, 2015.

to:

# [[Attach:WoLLIC15.pdf|''An Epistemic Separation Logic'']], Jean-René Courtault, Hans van Ditmarsch and Didier Galmiche, ''WoLLIC 2015'', LNCS 9160:1-18, Bloomington, USA, 2015.

June 12, 2015, at 12:51 PM EST by 152.81.3.38 -

Changed lines 13-14 from:

# [[http://www.aiml.net/volumes/volume10/Balbiani-Tinchev.pdf|''Definability and computability for PRSPDL'']], Philippe Balbiani and Tinko Tinchev, ''AiML 2014''.

to:

# [[http://www.aiml.net/volumes/volume10/Balbiani-Tinchev.pdf|''Definability and computability for PRSPDL'']], Philippe Balbiani and Tinko Tinchev, ''AiML 2014''.
# [[Attach:WoLLIC15.pdf|''An Epistemic Separation Logic'']], Jean-René Courtault, Hans van Ditmarsch and Didier Galmiche, ''WoLLIC 2015'', LNCS 9160::1-18, Bloomington, USA, 2015.

June 12, 2015, at 12:49 PM EST by 152.81.3.38 -

Changed line 13 from:

# [[~~Attach~~:~~AiLM2014b~~.pdf|''Definability and computability for PRSPDL'']], Philippe Balbiani and T. Tinchev, ''AiML 2014''.

to:

# [[http://www.aiml.net/volumes/volume10/Balbiani-Tinchev.pdf|''Definability and computability for PRSPDL'']], Philippe Balbiani and Tinko Tinchev, ''AiML 2014''.

June 12, 2015, at 12:48 PM EST by 152.81.3.38 -

Added line 13:

# [[Attach:AiLM2014b.pdf|''Definability and computability for PRSPDL'']], Philippe Balbiani and T. Tinchev, ''AiML 2014''.

September 18, 2014, at 11:07 AM EST by 152.81.3.38 -

Changed lines 1-2 from:

# [[Attach:JANCL0212.pdf|''Public announcements, public assignments and the complexity of their logic'']], Hans van Ditmarsch, Andreas Herzig and Tiago De Lima, ''JANCL'', vol 22(3):249-273, 2012.
# [[Attach:AIML2012.pdf|''Some Truths Are Best Left Unsaid'']], Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig and Tiago De Lima, ''Advances in Modal Logic'', 2012.

to:

# [[Attach:JANCL0212.pdf|''Public announcements, public assignments and the complexity of their logic'']], Hans van Ditmarsch, Andreas Herzig and Tiago de Lima, ''JANCL'', vol 22(3):249-273, 2012.
# [[Attach:AIML2012.pdf|''Some Truths Are Best Left Unsaid'']], Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig and Tiago de Lima, ''Advances in Modal Logic'', 2012.

September 18, 2014, at 11:06 AM EST by 152.81.3.38 -

Changed lines 1-2 from:

# [[Attach:JANCL0212|''Public announcements, public assignments and the complexity of their logic'']], Hans van Ditmarsch, Andreas Herzig and Tiago De Lima, ''JANCL'', vol 22(3):249-273, 2012.

to:

# [[Attach:JANCL0212.pdf|''Public announcements, public assignments and the complexity of their logic'']], Hans van Ditmarsch, Andreas Herzig and Tiago De Lima, ''JANCL'', vol 22(3):249-273, 2012.
# [[Attach:AIML2012.pdf|''Some Truths Are Best Left Unsaid'']], Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig and Tiago De Lima, ''Advances in Modal Logic'', 2012.

September 18, 2014, at 11:04 AM EST by 152.81.3.38 -

Added line 1:

# [[Attach:JANCL0212|''Public announcements, public assignments and the complexity of their logic'']], Hans van Ditmarsch, Andreas Herzig and Tiago De Lima, ''JANCL'', vol 22(3):249-273, 2012.

September 18, 2014, at 11:02 AM EST by 152.81.3.38 -

Added line 9:

# [[Attach:AiML2914.pdf|''A sequent calculus with labels for PAL'']], Philippe Balbiani, Vincent Demange and Didier Galmiche, ''AiML 2014''.

Deleted line 10:

~~# [[Attach:AiML2914.pdf|''A sequent calculus with labels for PAL'']], Philippe Balbiani, Vincent Demange and Didier Galmiche, ''AiML 2014''.~~

September 18, 2014, at 10:55 AM EST by 152.81.3.38 -

Changed line 4 from:

# [[Attach:LICS2013.pdf|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, ''28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013'', pp 143-152, New Orleans, LA, USA, June 2013.

to:

# [[Attach:LICS2013.pdf|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, ''28th Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2013'', pp 143-152, New Orleans, LA, USA, June 2013.

September 18, 2014, at 10:55 AM EST by 152.81.3.38 -

Changed lines 4-5 from:

# [[Attach:LICS2013.pdf|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, ''28th Annual ACM/IEEE Symposium on Logic in Computer Science,
LICS 2013'', pp 143-152, New Orleans, LA, USA, June 2013.

to:

# [[Attach:LICS2013.pdf|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, ''28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013'', pp 143-152, New Orleans, LA, USA, June 2013.

September 18, 2014, at 10:54 AM EST by 152.81.3.38 -

Changed lines 4-5 from:

# [[Attach:LICS2013.pdf|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, ''~~LICS 2013'', pp~~ 143-152.

to:

# [[Attach:LICS2013.pdf|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, ''28th Annual ACM/IEEE Symposium on Logic in Computer Science,
LICS 2013'', pp 143-152, New Orleans, LA, USA, June 2013.

September 18, 2014, at 10:52 AM EST by 152.81.3.38 -

Changed line 7 from:

# [[Attach:ADDCT2014|''Decidability of Iteration-free PDL with Parallel Composition'']], Philippe Balbiani and Joseph Boudou, ''ADDCT 2014 Workshop'', Vienna, Austria, July 2014.

to:

# [[Attach:ADDCT2014.pdf|''Decidability of Iteration-free PDL with Parallel Composition'']], Philippe Balbiani and Joseph Boudou, ''ADDCT 2014 Workshop'', Vienna, Austria, July 2014.

September 18, 2014, at 10:51 AM EST by 152.81.3.38 -

Added line 7:

# [[Attach:ADDCT2014|''Decidability of Iteration-free PDL with Parallel Composition'']], Philippe Balbiani and Joseph Boudou, ''ADDCT 2014 Workshop'', Vienna, Austria, July 2014.

September 18, 2014, at 10:49 AM EST by 152.81.3.38 -

Changed lines 2-4 from:

# [[Attach:WoLLIC2013.pdf|''A Simple Separation Logic'']], Andreas Herzig,
''Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013'',
LNCS 8071:168-178, Darmstadt, Germany, August 2013.

to:

# [[Attach:WoLLIC2013.pdf|''A Simple Separation Logic'']], Andreas Herzig, ''Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013'', LNCS 8071:168-178, Darmstadt, Germany, August 2013.

September 18, 2014, at 10:49 AM EST by 152.81.3.38 -

Changed lines 2-4 from:

# [[Attach:WoLLIC2013.pdf|''A Simple Separation Logic'']], Andreas Herzig, ''~~WoLLIC 2013''~~, ~~LNCS 8071:168~~-~~178,~~ 2013.

to:

# [[Attach:WoLLIC2013.pdf|''A Simple Separation Logic'']], Andreas Herzig,
''Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013'',
LNCS 8071:168-178, Darmstadt, Germany, August 2013.

September 15, 2014, at 02:04 PM EST by 152.81.3.38 -

Added line 7:

# [[Attach:KR2014.pdf|''Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments'']], Andreas Herzig, ''KR 2014''.

Deleted line 8:

~~# [[Attach:KR2014.pdf|''Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments'']], Andreas Herzig, ''KR 2014''.~~

September 15, 2014, at 01:59 PM EST by 152.81.3.38 -

Changed lines 8-9 from:

# [[Attach:KR2014.pdf|''Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments'']], Andreas Herzig, ''KR 2014''.

to:

# [[Attach:KR2014.pdf|''Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments'']], Andreas Herzig, ''KR 2014''.
# [[Attach:AiML2914.pdf|''A sequent calculus with labels for PAL'']], Philippe Balbiani, Vincent Demange and Didier Galmiche, ''AiML 2014''.

September 15, 2014, at 12:13 PM EST by 152.81.3.38 -

Changed lines 1-3 from:

# [[http://dx.doi.org/10.1145/2422085.2422091|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM Transactions on Computational Logic,'' vol. 14(1):1-41 2013.
# [[Attach:WoLLIC2013.pdf|''A Simple Separation Logic'']], Andreas Herzig, ''WoLLIC 2013'', LNCS 8071:168-178 2013.
# [[Attach:LFCS13.pdf|''A Modal BI Logic for Dynamic Resource Properties'']], Jean-René Courtault and Didier Galmiche, ''LFCS 2013,'' LNCS 7734:134-148 2013.

to:

# [[http://dx.doi.org/10.1145/2422085.2422091|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM Transactions on Computational Logic,'' vol. 14(1):1-41, 2013.
# [[Attach:WoLLIC2013.pdf|''A Simple Separation Logic'']], Andreas Herzig, ''WoLLIC 2013'', LNCS 8071:168-178, 2013.
# [[Attach:LFCS13.pdf|''A Modal BI Logic for Dynamic Resource Properties'']], Jean-René Courtault and Didier Galmiche, ''LFCS 2013,'' LNCS 7734:134-148, 2013.

Changed line 5 from:

# [[Attach:JLC2013.pdf|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, [[http://dx.doi.org/10.1093/logcom/exu031|''Journal of Logic and Computation'']] 2014.

to:

# [[Attach:JLC2013.pdf|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, [[http://dx.doi.org/10.1093/logcom/exu031|''Journal of Logic and Computation'']], 2014.

September 12, 2014, at 05:00 PM EST by 152.81.3.38 -

Changed line 8 from:

# [[Attach:KR2014.pdf|''Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments''], Andreas Herzig, ''KR 2014''.

to:

# [[Attach:KR2014.pdf|''Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments'']], Andreas Herzig, ''KR 2014''.

September 12, 2014, at 05:00 PM EST by 152.81.3.38 -

Changed line 8 from:

# [[Attach:KR2014.pdf|''Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments''], Andreas Herzig, ''KR 2014'',

to:

# [[Attach:KR2014.pdf|''Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments''], Andreas Herzig, ''KR 2014''.

September 12, 2014, at 04:59 PM EST by 152.81.3.38 -

Changed line 4 from:

# [[Attach:LICS2013.pdf|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, LICS 2013, pp 143-152.

to:

# [[Attach:LICS2013.pdf|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, ''LICS 2013'', pp 143-152.

Changed lines 7-8 from:

# [[Attach:TCS2014.pdf|''Looking at Separation Algebras with Boolean BI-eyes'']], Dominique Larchey-Wendling and Didier Galmiche, ''TCS 2014''.

to:

# [[Attach:TCS2014.pdf|''Looking at Separation Algebras with Boolean BI-eyes'']], Dominique Larchey-Wendling and Didier Galmiche, ''TCS 2014''.
# [[Attach:KR2014.pdf|''Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments''], Andreas Herzig, ''KR 2014'',

September 12, 2014, at 04:56 PM EST by 152.81.3.38 -

Changed lines 4-5 from:

# [[Attach:LICS2013|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, LICS 2013, pp 143-152.
# [[~~http~~:~~//dx~~.~~doi.org/10.1093/logcom/exu031~~|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, ''Journal of Logic and Computation'' 2014.

to:

# [[Attach:LICS2013.pdf|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, LICS 2013, pp 143-152.
# [[Attach:JLC2013.pdf|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, [[http://dx.doi.org/10.1093/logcom/exu031|''Journal of Logic and Computation'']] 2014.

September 12, 2014, at 04:48 PM EST by 152.81.3.38 -

Changed line 2 from:

# [[~~http~~:~~//dx~~.~~doi.org/10.1007/978-3-642-39992-3_16~~|''A Simple Separation Logic'']], Andreas Herzig, ''WoLLIC 2013'', LNCS 8071:168-178 2013.

to:

# [[Attach:WoLLIC2013.pdf|''A Simple Separation Logic'']], Andreas Herzig, ''WoLLIC 2013'', LNCS 8071:168-178 2013.

September 12, 2014, at 04:46 PM EST by 152.81.3.38 -

Changed line 2 from:

# [[~~Attach~~:~~WoLLIC2013~~|''A Simple Separation Logic'']], Andreas Herzig, ''WoLLIC 2013'', LNCS 8071:168-178 2013.

to:

# [[http://dx.doi.org/10.1007/978-3-642-39992-3_16|''A Simple Separation Logic'']], Andreas Herzig, ''WoLLIC 2013'', LNCS 8071:168-178 2013.

September 12, 2014, at 04:45 PM EST by 152.81.3.38 -

Added line 4:

# [[Attach:LICS2013|''Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL'']], Philippe Balbiani, Andreas Herzig and Nicolas Troquard, LICS 2013, pp 143-152.

September 12, 2014, at 04:43 PM EST by 152.81.3.38 -

Added line 2:

# [[Attach:WoLLIC2013|''A Simple Separation Logic'']], Andreas Herzig, ''WoLLIC 2013'', LNCS 8071:168-178 2013.

September 12, 2014, at 04:38 PM EST by 152.81.3.38 -

Changed lines 4-5 from:

# [[Attach:CSR2014.pdf|''Separation Logic with One Quantified Variable'']], Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, ''CSR 2014''.

to:

# [[Attach:CSR2014.pdf|''Separation Logic with One Quantified Variable'']], Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, ''CSR 2014''.
# [[Attach:TCS2014.pdf|''Looking at Separation Algebras with Boolean BI-eyes'']], Dominique Larchey-Wendling and Didier Galmiche, ''TCS 2014''.

September 12, 2014, at 04:35 PM EST by 152.81.3.38 -

Changed line 3 from:

# [[~~Attach~~:~~JLC2013~~.~~pdf~~|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, ''~~To appear in the Journal of Logic and Computation'' (~~2014?).

to:

# [[http://dx.doi.org/10.1093/logcom/exu031|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, ''Journal of Logic and Computation'' 2014.

March 07, 2014, at 03:05 PM EST by 152.81.3.38 -

Changed line 3 from:

# [[Attach:JLC2013.pdf|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, ''To appear in the Journal of Logic and Computation'' (2014?)

to:

# [[Attach:JLC2013.pdf|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, ''To appear in the Journal of Logic and Computation'' (2014?).

March 07, 2014, at 03:05 PM EST by 152.81.3.38 -

Changed line 3 from:

# [[Attach:JLC2013.pdf|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, ''To appear in the Journal of Logic and Computation''.

to:

# [[Attach:JLC2013.pdf|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, ''To appear in the Journal of Logic and Computation'' (2014?)

March 07, 2014, at 02:55 PM EST by 152.81.3.38 -

Added line 3:

# [[Attach:JLC2013.pdf|''The formal strong completeness of partial monoidal Boolean BI'']], Dominique Larchey-Wendling, ''To appear in the Journal of Logic and Computation''.

March 07, 2014, at 02:53 PM EST by 152.81.3.38 -

Changed line 3 from:

# [[Attach:CSR2014.pdf|''Separation Logic with One Quantified Variable'']], Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, ''CSR 2014,''.

to:

# [[Attach:CSR2014.pdf|''Separation Logic with One Quantified Variable'']], Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, ''CSR 2014''.

March 07, 2014, at 02:43 PM EST by 152.81.3.38 -

Changed lines 2-3 from:

# [[Attach:LFCS13.pdf|''A Modal BI Logic for Dynamic Resource Properties'']], Jean-René Courtault and Didier Galmiche, ''LFCS 2013,'' LNCS 7734:134-148 2013.

to:

# [[Attach:LFCS13.pdf|''A Modal BI Logic for Dynamic Resource Properties'']], Jean-René Courtault and Didier Galmiche, ''LFCS 2013,'' LNCS 7734:134-148 2013.
# [[Attach:CSR2014.pdf|''Separation Logic with One Quantified Variable'']], Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, ''CSR 2014,''.

July 31, 2013, at 02:33 PM EST by 152.81.3.38 -

Deleted line 1:

July 31, 2013, at 02:32 PM EST by 152.81.3.38 -

Changed line 3 from:

# [[|''A Modal BI Logic for Dynamic Resource Properties'']], Jean-René Courtault and Didier Galmiche, ''LFCS 2013,'' LNCS 7734:134-148 2013.

to:

# [[Attach:LFCS13.pdf|''A Modal BI Logic for Dynamic Resource Properties'']], Jean-René Courtault and Didier Galmiche, ''LFCS 2013,'' LNCS 7734:134-148 2013.

July 31, 2013, at 02:31 PM EST by 152.81.3.38 -

Changed lines 1-3 from:

# [[http://dx.doi.org/10.1145/2422085.2422091|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM Transactions on Computational Logic,'' vol. 14(1):1-41 2013.

to:

# [[http://dx.doi.org/10.1145/2422085.2422091|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM Transactions on Computational Logic,'' vol. 14(1):1-41 2013.

# [[|''A Modal BI Logic for Dynamic Resource Properties'']], Jean-René Courtault and Didier Galmiche, ''LFCS 2013,'' LNCS 7734:134-148 2013.

March 21, 2013, at 05:26 PM EST by 152.81.3.38 -

Changed line 1 from:

# [[http://dx.doi.org/10.1145/2422085.2422091|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM ~~Transaction in~~ Computational Logic,'' vol. 14(1):1-41 2013.

to:

# [[http://dx.doi.org/10.1145/2422085.2422091|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM Transactions on Computational Logic,'' vol. 14(1):1-41 2013.

March 21, 2013, at 05:25 PM EST by 152.81.3.38 -

Changed line 1 from:

# [[http://dx.doi.org/10.1145/2422085.2422091|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM Transaction in Computational Logic,'' vol. 14(1) ~~2012~~.

to:

# [[http://dx.doi.org/10.1145/2422085.2422091|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM Transaction in Computational Logic,'' vol. 14(1):1-41 2013.

March 21, 2013, at 04:28 PM EST by 152.81.3.38 -

Changed line 1 from:

# [[http://~~tocl~~.~~acm~~.org/~~accepted~~/~~TOCL-2011-0020~~.~~R1.pdf~~|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM Transaction in Computational Logic,'' vol. 14(1) 2012.

to:

# [[http://dx.doi.org/10.1145/2422085.2422091|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM Transaction in Computational Logic,'' vol. 14(1) 2012.

August 30, 2012, at 05:42 PM EST by 152.81.3.38 -

Changed line 1 from:

# [[http://tocl.acm.org/accepted/TOCL-2011-0020.R1.pdf|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''Transaction in Computational Logic,'' ~~accepted~~ 2012.

to:

# [[http://tocl.acm.org/accepted/TOCL-2011-0020.R1.pdf|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''ACM Transaction in Computational Logic,'' vol. 14(1) 2012.

June 22, 2012, at 05:10 PM EST by 138.231.176.8 -

Changed line 1 from:

# [[http://tocl.acm.org/accepted/TOCL-2011-0020.R1.pdf|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, Transaction in Computational Logic, accepted 2012.

to:

# [[http://tocl.acm.org/accepted/TOCL-2011-0020.R1.pdf|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, ''Transaction in Computational Logic,'' accepted 2012.

June 22, 2012, at 05:09 PM EST by 138.231.176.8 -

Changed lines 1-2 from:

# [[http://tocl.acm.org/accepted/TOCL-2011-0020.R1.pdf|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, accepted 2012.

to:

# [[http://tocl.acm.org/accepted/TOCL-2011-0020.R1.pdf|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, Transaction in Computational Logic, accepted 2012.

June 22, 2012, at 05:07 PM EST by 138.231.176.8 -

Added lines 1-2:

# [[http://tocl.acm.org/accepted/TOCL-2011-0020.R1.pdf|''Non-deterministic Phase Semantics and the Undecidability of Boolean BI'']], Dominique Larchey-Wendling and Didier Galmiche, accepted 2012.

Publications

Main.Publications History