Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021

Coinductive Algorithms for Büchi Automata

Denis Kuperberg, Laureline Pinault, Damien Pous

Fundamenta Informaticae

Retricted access

Research article

First published 2017-3-3

CoCaml: Functional Programming with Regular Coinductive Types

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10

A Theoretical Perspective of Coinductive Logic Programming

Davide Ancona, Agostino Dovier

Fundamenta Informaticae

Retricted access

Research article

First published 1998-4

Coinductive Axiomatization of Recursive Type Equality and Subtyping

Michael Brandt, Fritz Henglein

Fundamenta Informaticae

Retricted access

Research article

First published 1991-07

Murine mdr-1,mdr-2,and mdr-3 Gene Expression: No Coinduction with the Cypla-1 and Nmo-1 Genes in Liver by 2,3,7,8-Tetrachlorodibenzo- p -Dioxin

Larry D. Teeter, Daniel D. Petersen, Daniel W. Nebert [...]

DNA and Cell Biology

Retricted access

Research article

First published 1986-02

Assignment of Two Mouse Genes Coinduced with Interferon to Chromosomes 12 and X

K.A. Kelley, P.M. Pitha, J. Demaeyer-Guignard [...]

Journal of Interferon & Cytokine Research

Retricted access

Research article

First published 2005-7

Proof Methods for Corecursive Programs

Jeremy Gibbons, Graham Hutton

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Decidability of Several Concepts of Finiteness for Simple Types

José Espírito Santo, Ralph Matthes, Luís Pinto

Fundamenta Informaticae

Retricted access

Review article

First published 2004-06

Molecular and Cellular Control of T1/T2 Immunity at the Interface between Antimicrobial Defense and Immune Pathology

Adrian Bot, Kent A. Smith, Matthias von Herrath

DNA and Cell Biology

Free access

Research article

First published 2004-11

Expression of Nitric Oxide Synthase 2 and Cyclooxygenase-2 in Swine Experimentally Infected with Actinobacillus pleuropneumoniae

W.-S. Cho, C. Chae

Veterinary Pathology

Search results