scientific article; zbMATH DE number 1395882
From MaRDI portal
Publication:4935403
zbMATH Open0936.62002MaRDI QIDQ4935403FDOQ4935403
Authors: Alessandro Belcastro, Elda Guala
Publication date: 18 May 2000
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1839426
- scientific article; zbMATH DE number 3938225
- Decidability of inferring inductive invariants
- scientific article; zbMATH DE number 3861134
- scientific article; zbMATH DE number 4008385
- scientific article; zbMATH DE number 176928
- General inductive inference types based on linearly-ordered sets
- Inductive inference of recursive functions: qualitative theory
- scientific article; zbMATH DE number 92610
- Some observations on induction in predicate probabilistic reasoning
Cited In (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4935403)