Works matching DE "COINDUCTION (Mathematics)"

Results: 33

Dynamic network functional comparison via approximate-bisimulation.

Published in:

Control & Cybernetics, 2015, v. 44, n. 1, p. 99

By:

Donnarumma, Francesco;
Murano, Aniello;
Prevete, Roberto

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:

Bonchi, Filippo;
Petrişan, Daniela;
Pous, Damien;
Rot, Jurriaan

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:

Lescanne, Pierre;
Perrinel, Matthieu

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:

Berg, Benno

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:

Eleftheriou, Pantelis E.;
Koutras, Costas D.;
Nomikos, Christos

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:

BADIA, GUILLERMO

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:

Perkov, Tin;
Vuković, Mladen

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:

Crole, RL

Publication type:

Article

Conferences.

Published in:

1999

By:

Various

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:

Stirling, C

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:

Dams, DR

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:

Gallina, Lucia;
Marin, Andrea;
Rossi, Sabina

Publication type:

Article

DIAGONAL MODEL STRUCTURES.

Published in:

Theory & Applications of Categories, 2013, v. 28, n. 2, p. 250

By:

JARDINE, J. F.

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:

VASILESCU, Anca

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:

HAMAL, Ahmet;
TERZILER, Mehmet

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:

Berger, Ulrich;
Seisenberger, Monika

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:

Ding-Hong Peng;
Zhi-Fang Gao;
Chang-Yuan Gao;
Hua Wang

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:

HASUO, ICHIRO;
KATAOKA, TOSHIKI;
CHO, KENTA

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:

BERGER, ULRICH;
TIE HOU

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:

HAJIME ISHIHARA;
KOROVINA, MARGARITA;
PAULY, ARNO;
SEISENBERGER, MONIKA;
SPREEN, DIETER

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:

ROT, JURRIAAN;
BONCHI, FILIPPO;
BONSANGUE, MARCELLO;
POUS, DAMIEN;
RUTTEN, JAN;
SILVA, ALEXANDRA

Publication type:

Article

Practical coinduction.

Published in:

Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1132, doi. 10.1017/S0960129515000493

By:

KOZEN, DEXTER;
SILVA, ALEXANDRA

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:

ABRAMSKY, SAMSON;
WINSCHEL, VIKTOR

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:

PHILLIPS, IAIN;
ULIDOWSKI, IREK

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:

ACETO, LUCA;
CIMINI, MATTEO;
INGOLFSDOTTIR, ANNA

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:

KOMENDANTSKAYA, EKATERINA;
YUE LI

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:

Gribovskaya, N.

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:

Agnes, V. Sheeba;
Kannadasan, C.

Publication type:

Article

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:

Decheng MIAO;
Jianqing XI;
Xinsheng LIU;
Jingguo DAI

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:

PARROW, JOACHIM;
WEBER, TJARK

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:

GHANI, NEIL;
JOHANN, PATRICIA;
FUMEX, CLÉMENT

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:

Chen, Xiuli;
Zhu, Haiyan;
Li, Fang

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:

DARDHA, ORNELA;
GORLA, DANIELE;
VARACCA, DANIELE

Publication type:

Article