Indexed Induction and Coinduction, Fibrationally

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-9(3:6)2013
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Hacking Nondeterminism With Induction and Coinduction

Communications of the ACM
Computer Science
2015English

Structural Induction and Coinduction in a Fibrational Setting

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1998English

Generic Trace Semantics via Coinduction

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Indexed Sequential Files — Reading and Writing

1991English

Inflation-Indexed Bonds and the Expectations Hypothesis

2011English

Self-Indexed Grammar-Based Compression

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2011English

Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Scopus- Or SCIE-indexed Journals

2019English

The Independence of Indexed Volatilities

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy