Search Results - "coinduction"

1

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings / edited by Till Mossakowski, Ugo Montanari,...

Published 2007

Table of Contents: '; “... Processors -- Quasitoposes, Quasiadhesive Categories and Artin Glueing -- Applications of Metric Coinduction...”
Get full text

2

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected...

Published 2016

Table of Contents: '; “...Fixed Points of Functors - A Survey -- Compositional Coinduction with Sized Types -- Lawvere...”
Get full text

3

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /...

Published 2014

Table of Contents: '; “...Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic...”
Get full text

4

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narci...

Published 2015

Table of Contents: '; “... Models of Real-Time Systems -- Model-Driven Engineering in the Heterogeneous Tool Set -- A coinductive...”
Get full text

5

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers / edited by Manuel V Hermene...

Published 2017

Table of Contents: '; “... Programs With Arrays -- Coinductive Soundness of Corecursive Type Class Resolution -- Nominal Unification...”
Get full text

6

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings / edited by Daniel Leivant, Ruy de Queiro...

Published 2007

Table of Contents: '; “... -- Behavioural Differential Equations and Coinduction for Binary Trees -- A Sketch of a Dynamic Epistemic...”
Get full text

7

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings / edited by José Meseguer, Grigore Rosu.

Published 2008

Table of Contents: '; “... -- Coinductive Properties of Causal Maps -- Extending Timed Process Algebra with Discrete Stochastic Time -- Vx86...”
Get full text

8

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milan...

Published 2008

Table of Contents: '; “... -- Universal Coinductive Characterisations of Process Semantics -- Static and dynamic typing...”
Get full text

9

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Published 2015

Table of Contents: '; “... and Implicit Computational Complexity -- Programming and Reasoning with Guarded Recursion for Coinductive Types...”
Get full text

10

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings / edited by Richard Jones.

Published 2014

Table of Contents: '; “... and Complete Subtyping between Coinductive Types for Object-Oriented Languages -- Spores: A Type-Based...”
Get full text

11

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichar...

Published 2013

Table of Contents: '; “... -- Circular Coinduction in Coq Using Bisimulation-Up-To Techniques -- Program Extraction from Nested...”
Get full text

12

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Published 2016

Table of Contents: '; “... Dependent Type Theory with Coinductive Types -- Dependent Types and Fibred Computational Effects -- Game...”
Get full text

13

Automated Reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I / edited by Nicolas Peltier, Viorica Sofronie-Stokkermans.

Published 2020

Table of Contents: '; “... Practical Approach -- SGGS Decision Procedures -- Integrating Induction and Coinduction via Closure...”
Get full text

14

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vid...

Published 2013

Table of Contents: '; “... Checking Metric Temporal Logic over Automata with One Counter.- Coinductive Proof Techniques for Language...”
Get full text

15

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II / edited by Javier Esparza, Pierre Fraign...

Published 2014

Table of Contents: '; “... -- A Coalgebraic Foundation for Coinductive Union Types -- Turing Degrees of Limit Sets of Cellular...”
Get full text

16

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / edited by...

Published 2018

Table of Contents: '; “... Problems -- A Generic Framework for Implicate Generation Modulo Theories -- A Coinductive Approach...”
Get full text

17

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / edited by André Platzer, Geoff Sutcliffe.

Published 2021

Table of Contents: '; “...Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic...”
Get full text

18

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings / edited by Stéphane...

Published 2014

Table of Contents: '; “... Classical Logic Completeness: A Coinductive Pearl -- A Focused Sequent Calculus for Higher-Order Logic...”
Get full text

19

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / edited by Verónica Dahl, Ilkka Niemelä.

Published 2007

Table of Contents: '; “... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”
Get full text

20

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdzin...

Published 2007

Table of Contents: '; “... for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4...”
Get full text

Narrow Search