Searching for a Solution to Program Verification=Equation Solving in CCS

Lecture Notes in Computer Science - Germany
doi 10.1007/10720076_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Python Program for Solving Schrödinger’s Equation in Undergraduate Physical Chemistry

Journal of Chemical Education
ChemistryEducation
2017English

Numerical Matrix Method for Solving Stationary One-Dimensional Schrödinger Equation. Amsse Program

Computational Methods in Science and Technology
2000English

A Practical Method for Solving Hill’s Equation

Quarterly of Applied Mathematics
Applied Mathematics
1948English

An Extended Corresponding States Equation of State (EoS) for CCS Industry

Chemical Engineering Science
Applied MathematicsChemistryChemical EngineeringManufacturing EngineeringIndustrial
2015English

A Metric for Testing Program Verification Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Tabled Prolog Program for Solving Sokoban

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Trial Equation Method for Solving the Improved Boussinesq Equation

Advances in Pure Mathematics
2014English

Convergence for a Vortex Method for Solving Euler’s Equation

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1973English

A Tabled Prolog Program for Solving Sokoban

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy