×

Found 124 Documents (Results 1–100)

Towards an embedding of graph transformation in intuitionistic linear logic. (English) Zbl 1454.68083

Bonchi, Filippo (ed.) et al., Structured interactions. Proceedings of the 2nd workshop on interaction and concurrency experience, ICE’09, Bologna, Italy, August 31, 2009. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 12, 99-115 (2009).
MSC:  68Q85 03F52 68Q42
PDFBibTeX XMLCite
Full Text: Link

Improving translation of live sequence charts to temporal logic. (English) Zbl 1339.68168

Goldsmith, Michael (ed.) et al., Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10–12, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 1, 137-152 (2009).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Contraction-free proofs and finitary games for linear logic. (English) Zbl 1337.03088

Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 287-305 (2009).
MSC:  03F52 03F05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modeling abstract types in modules with open existential types. (English) Zbl 1315.68103

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 354-365 (2009).
MSC:  68N30 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI

The tractability of model-checking for LTL: the good, the bad, and the ugly fragments. (English) Zbl 1347.68217

Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 277-292 (2009).
PDFBibTeX XMLCite
Full Text: DOI

On decidability of LTL+past model checking for process rewrite systems. (English) Zbl 1347.68230

Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 105-117 (2009).
PDFBibTeX XMLCite
Full Text: DOI

New developments in environment machines. (English) Zbl 1294.03020

Middeldorp, Aart (ed.), Proceedings of the 8th international workshop on reduction strategies in rewriting and programming (WRS 2008), Castle of Hagenberg, Austria, July 14, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 237, 57-73 (2009).
MSC:  03B70 03B40 03F52
PDFBibTeX XMLCite
Full Text: DOI

A procedural interpretation of split negation. (English) Zbl 1275.03094

Peliš, Michal (ed.), The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2008. London: College Publications (ISBN 978-1-904987-46-8/pbk). 211-221 (2009).
MSC:  03B47
PDFBibTeX XMLCite

Epistemic logic with relevant agents. (English) Zbl 1275.03084

Peliš, Michal (ed.), The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2008. London: College Publications (ISBN 978-1-904987-46-8/pbk). 123-135 (2009).
MSC:  03B42 03B47
PDFBibTeX XMLCite

Fuzzy logics interpreted as logics of resources. (English) Zbl 1261.03098

Peliš, Michal (ed.), The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2008. London: College Publications (ISBN 978-1-904987-46-8/pbk). 1-13 (2009).
MSC:  03B52 03B47
PDFBibTeX XMLCite

Automata and temporal logic over arbitrary linear time. (English) Zbl 1248.68293

Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 133-144, electronic only (2009).
MSC:  68Q45 03D05 03B44
PDFBibTeX XMLCite
Full Text: DOI Link

Interactive models of computation and program behavior. (English) Zbl 1205.03045

Panoramas et Synthèses 27. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-273-0/pbk). xvi, 275 p. (2009).
PDFBibTeX XMLCite

Mono-agent dynamics. (English) Zbl 1196.68289

He, Xiangdong (ed.) et al., Logic, rationality, and interaction. Second international workshop, LORI 2009, Chongqing, China, October 8–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04892-0/pbk). Lecture Notes in Computer Science 5834. Lecture Notes in Artificial Intelligence, 321-322 (2009).
MSC:  68T42 03B47 68T27
PDFBibTeX XMLCite
Full Text: DOI

On the proof theory of regular fixed points. (English) Zbl 1260.03108

Giese, Martin (ed.) et al., Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02715-4/pbk). Lecture Notes in Computer Science 5607. Lecture Notes in Artificial Intelligence, 93-107 (2009).
PDFBibTeX XMLCite
Full Text: DOI HAL

Confluence of pure differential nets with promotion. (English) Zbl 1257.03085

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 500-514 (2009).
MSC:  03F07 03F05 03F52
PDFBibTeX XMLCite
Full Text: DOI

Non-commutative first-order sequent calculus. (English) Zbl 1257.03049

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 470-484 (2009).
MSC:  03B47
PDFBibTeX XMLCite
Full Text: DOI

Focalisation and classical realisability. (English) Zbl 1257.03055

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 409-423 (2009).
PDFBibTeX XMLCite
Full Text: DOI

On model checking Boolean BI. (English) Zbl 1257.03048

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 302-316 (2009).
PDFBibTeX XMLCite
Full Text: DOI Link

Craig interpolation for linear temporal languages. (English) Zbl 1257.03042

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 287-301 (2009).
MSC:  03B44 03C40
PDFBibTeX XMLCite
Full Text: DOI

Enriching an effect calculus with linear types. (English) Zbl 1257.03053

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 240-254 (2009).
MSC:  03B70 03F52 18C50
PDFBibTeX XMLCite
Full Text: DOI Link

Expanding the realm of systematic proof theory. (English) Zbl 1257.03084

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 163-178 (2009).
MSC:  03F03 03F52
PDFBibTeX XMLCite
Full Text: DOI

Functional interpretations of intuitionistic linear logic. (English) Zbl 1193.03080

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 3-19 (2009).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A by-level analysis of multiplicative exponential linear logic. (English) Zbl 1250.03122

Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 344-355 (2009).
MSC:  03F52
PDFBibTeX XMLCite
Full Text: DOI

Building theorem provers. (English) Zbl 1250.68235

Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 306-321 (2009).
MSC:  68T15 03B35 03B47
PDFBibTeX XMLCite
Full Text: DOI

An explicit formula for the free exponential modality of linear logic. (English) Zbl 1248.03080

Albers, Susanne (ed.) et al., Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5–12, 2009. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-02929-5/pbk). Lecture Notes in Computer Science 5556, 247-260 (2009).
MSC:  03F52
PDFBibTeX XMLCite
Full Text: DOI HAL

Some observations on the proof theory of second order propositional multiplicative linear logic. (English) Zbl 1246.03080

Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 309-324 (2009).
MSC:  03F52
PDFBibTeX XMLCite
Full Text: DOI Link

The cut-elimination theorem for differential nets with promotion. (English) Zbl 1246.03079

Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 219-233 (2009).
MSC:  03F52 03F05 03F07
PDFBibTeX XMLCite
Full Text: DOI

Partial orders, event structures and linear strategies. (English) Zbl 1246.03078

Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 95-111 (2009).
MSC:  03F52
PDFBibTeX XMLCite
Full Text: DOI

Bounded linear logic, revisited. (English) Zbl 1211.03089

Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 80-94 (2009).
MSC:  03F52
PDFBibTeX XMLCite
Full Text: DOI

On the meaning of logical completeness. (English) Zbl 1246.03076

Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 50-64 (2009).
MSC:  03F52 03B10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Ludics and its applications to natural language semantics. (English) Zbl 1246.03053

Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 242-255 (2009).
MSC:  03B65 03F52
PDFBibTeX XMLCite
Full Text: DOI arXiv

Forcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus. (English) Zbl 1246.03072

Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 209-217 (2009).
MSC:  03F05 03B47 68T15
PDFBibTeX XMLCite
Full Text: DOI

Some complexity and expressiveness results on multimodal and stratified proof nets. (English) Zbl 1246.03075

Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 306-322 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Nonassociative Lambek calculus with additives and context-free languages. (English) Zbl 1239.03016

Grumberg, Orna (ed.) et al., Languages: From formal to natural. Essays dedicated to Nissim Francez on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-01747-6/pbk). Lecture Notes in Computer Science 5533, 45-58 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 3

Main Field

all top 3

Software