scientific article; zbMATH DE number 1178950
From MaRDI portal
Publication:4398769
Recommendations
Cited in
(23)- When errors become the rule: twenty years with transformation-based learning
- scientific article; zbMATH DE number 4005577 (Why is no real title available?)
- scientific article; zbMATH DE number 1232603 (Why is no real title available?)
- A pragmatic approach to reuse in tactical theorem proving
- Unified selection from lists, arrays, and objects.
- scientific article; zbMATH DE number 49422 (Why is no real title available?)
- A computational interpretation of conceptivism
- Varieties of agents in agent-based computational economics: a historical and an interdisciplinary perspective
- Models of quantum computation and quantum programming languages
- Vacua of \(\omega\)-deformed SO(8) supergravity
- Revised\(^{6}\) report on the algorithmic language scheme
- RelaxNet: a structure-preserving neural network to approximate the Boltzmann collision operator
- How downwards causation occurs in digital computers
- scientific article; zbMATH DE number 3909708 (Why is no real title available?)
- PSEUDO: applications of streams and lazy evaluation to integrable models
- Modularity in mathematics
- Struktur und Interpretation von Computerprogrammen
- Interactive programming in Agda -- objects and graphical user interfaces
- Sorting algorithms in \textsc{MOQA}
- The never-ending recursion
- Heterogeneously parameterized tube model predictive control for LPV systems
- Tree dimension in verification of constrained Horn clauses
- A variadic extension of Curry's fixed-point combinator
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 Q4398769)
