scientific article; zbMATH DE number 6988090

DOI10.4230/LIPICS.CSL.2018.0MaRDI QIDQ4559476zbMATH OpenFDO

Authors

Publication date 3 December 2018

Full work available at URL http://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol119-csl2018-complete.pdf

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• scientific article; zbMATH DE number 6789949
• scientific article; zbMATH DE number 7189136
• scientific article; zbMATH DE number 6513118
• Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16--19, 2008. Proceedings
• 25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. Proceedings
• Computer science logic. 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22--25, 2005. Proceedings.
• Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
• Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7--11, 2009. Proceedings
• scientific article; zbMATH DE number 6456209
• Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22--25, 2002. Proceedings

Cited in

(8)

• Composing dinatural transformations: towards a calculus of substitution
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Infinitary action logic with exponentiation
• 25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. Proceedings
• scientific article; zbMATH DE number 6513118 (Why is no real title available?)
• scientific article; zbMATH DE number 6789949 (Why is no real title available?)
• scientific article; zbMATH DE number 7663119 (Why is no real title available?)
• Restriction on cut rule in cyclic-proof system for symbolic heaps

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4559476)