A New Translation for Semi-classical Theories — Backtracking without CPS
From MaRDI portal
Publication:5458438
DOI10.1007/978-3-540-78969-7_16zbMATH Open1138.68026OpenAlexW4245030848MaRDI QIDQ5458438FDOQ5458438
Authors: Satoshi Kobayashi 
Publication date: 11 April 2008
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78969-7_16
Recommendations
- Classicality without decoherence: A reply to Schlosshauer
- The semiclassical limit of causal dynamical triangulations
- scientific article; zbMATH DE number 937364
- The physical interpretation of partial traces: two nonstandard views
- On the behaviour of the backward interpretation of Feynman-Kac formulae under verifiable conditions
- scientific article; zbMATH DE number 5984310
- Semiclassical quantum dynamics and Bohmian trajectories
- Some non-classical approaches to the Brandenburger-Keisler paradox
- Forward-backward semiclassical dynamics
- Classical and Bohmian trajectories in semiclassical systems: mismatch in dynamics, mismatch in reality?
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)
Cites Work
- A semantics of evidence for classical arithmetic
- Title not available (Why is that?)
- Mathematics based on incremental learning -- excluded middle and inductive inference
- Constructivism in mathematics. An introduction. Volume II
- Can proofs be animated by games?
- Title not available (Why is that?)
- Automata, Languages and Programming
- Games with 1-backtracking
- Some intuitionistic equivalents of classical principles for degree 2 formulas
- A sequent calculus for limit computable mathematics
- Realizability interpretation of generalized inductive definitions
- Title not available (Why is that?)
- Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves
Cited In (1)
This page was built for publication: A New Translation for Semi-classical Theories — Backtracking without CPS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458438)
