Works matching DE "COINDUCTION (Mathematics)"
Results: 33
Fibrations Theory and Indexed Co-Inductive Data Types.
- Published in:
- International Journal of Simulation: Systems, Science & Technology, 2016, v. 17, n. 46, p. 1, doi. 10.5013/IJSSST.a.17.46.15
- By:
- Publication type:
- Article
Invariants of FP-Projective Dimensions Under Cleft Extensions.
- Published in:
- Algebra Colloquium, 2013, v. 20, n. 4, p. 689, doi. 10.1142/S1005386713000667
- By:
- Publication type:
- Article
Coinductive predicates and final sequences in a fibration.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 4, p. 562, doi. 10.1017/S0960129517000056
- By:
- Publication type:
- Article
A realizability interpretation of Church's simple theory of types.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 8, p. 1364, doi. 10.1017/S0960129516000104
- By:
- Publication type:
- Article
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 8, p. 1285, doi. 10.1017/S0960129516000086
- By:
- Publication type:
- Article
Enhanced coalgebraic bisimulation.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1236, doi. 10.1017/S0960129515000523
- By:
- Publication type:
- Article
Practical coinduction.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1132, doi. 10.1017/S0960129515000493
- By:
- Publication type:
- Article
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 751, doi. 10.1017/S0960129515000365
- By:
- Publication type:
- Article
Event Identifier Logic.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 2, p. 1, doi. 10.1017/S0960129513000510
- By:
- Publication type:
- Article
Proving the validity of equations in GSOS languages using rule-matching bisimilarity.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. 291, doi. 10.1017/S0960129511000417
- By:
- Publication type:
- Article
Semantic Subtyping for Objects and Classes.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 636, doi. 10.1093/comjnl/bxw080
- By:
- Publication type:
- Article
BASIC TYPES OF FLIP-FLOPS: SPECIFICATION AND AUTOMATIC VERIFICATION.
- Published in:
- Bulletin of the Transilvania University of Brasov, Series III: Mathematics, Informatics, Physics, 2014, v. 7, n. 56-2, p. 203
- By:
- Publication type:
- Article
PERITOPOLOGICAL SPACES AND BISIMULATIONS.
- Published in:
- Reports on Mathematical Logic, 2015, n. 50, p. 67, doi. 10.4467/20842589RM.15.005.3914
- By:
- Publication type:
- Article
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 2, p. 115, doi. 10.1093/jigpal/jzv054
- By:
- Publication type:
- Article
A bisimulation characterization for interpretability logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 872, doi. 10.1093/jigpal/jzu015
- By:
- Publication type:
- Article
Completeness of bisimilarity for contextual equivalence in linear theories.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 1, p. 27, doi. 10.1093/jigpal/9.1.27
- By:
- Publication type:
- Article
Conferences.
- Published in:
- 1999
- By:
- Publication type:
- Abstract
Bisimulation, modal logic and model checking games.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 103, doi. 10.1093/jigpal/7.1.103
- By:
- Publication type:
- Article
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 55, doi. 10.1093/jigpal/7.1.55
- By:
- Publication type:
- Article
DIAGONAL MODEL STRUCTURES.
- Published in:
- Theory & Applications of Categories, 2013, v. 28, n. 2, p. 250
- By:
- Publication type:
- Article
Proofs, Programs, Processes.
- Published in:
- Theory of Computing Systems, 2012, v. 51, n. 3, p. 313, doi. 10.1007/s00224-011-9325-8
- By:
- Publication type:
- Article
A Direct Approach Based on C²-IULOWA Operator for Group Decision Making with Uncertain Additive Linguistic Preference Relations.
- Published in:
- Journal of Applied Mathematics, 2013, p. 1, doi. 10.1155/2013/420326
- By:
- Publication type:
- Article
Dynamic network functional comparison via approximate-bisimulation.
- Published in:
- Control & Cybernetics, 2015, v. 44, n. 1, p. 99
- By:
- Publication type:
- Article
Productive corecursion in logic programming.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 906, doi. 10.1017/S147106841700028X
- By:
- Publication type:
- Article
Y-index of four join operations of graphs.
- Published in:
- Journal of Algebraic Statistics, 2022, v. 13, n. 1, p. 273
- By:
- Publication type:
- Article
Connectivity and energy-aware preorders for mobile ad-hoc networks.
- Published in:
- Telecommunication Systems, 2016, v. 63, n. 2, p. 307, doi. 10.1007/s11235-015-0122-6
- By:
- Publication type:
- Article
Notions of Bisimulation for Heyting-Valued Modal Languages.
- Published in:
- Journal of Logic & Computation, 2012, v. 22, n. 2, p. 213, doi. 10.1093/logcom/exq005
- By:
- Publication type:
- Article
Logic Unification of Behavioral Equivalences of Timed Event Structures.
- Published in:
- Journal of Mathematical Sciences, 2014, v. 203, n. 4, p. 478, doi. 10.1007/s10958-014-2151-1
- By:
- Publication type:
- Article
Non-deterministic inductive definitions.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 113, doi. 10.1007/s00153-012-0309-4
- By:
- Publication type:
- Article
A general account of coinduction up-to.
- Published in:
- Acta Informatica, 2017, v. 54, n. 2, p. 127, doi. 10.1007/s00236-016-0271-4
- By:
- Publication type:
- Article
'Backward' coinduction, Nash equilibrium and the rationality of escalation.
- Published in:
- Acta Informatica, 2012, v. 49, n. 3, p. 117, doi. 10.1007/s00236-012-0153-3
- By:
- Publication type:
- Article
THE LARGEST RESPECTFUL FUNCTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:11)2016
- By:
- Publication type:
- Article
INDEXED INDUCTION AND COINDUCTION, FIBRATIONALLY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 3, p. 1, doi. 10.2168/LMCS-9(3:6)2013
- By:
- Publication type:
- Article