COMPUTATION TOOLS 2013, The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

Home // COMPUTATION TOOLS

Type: conference

Notes: IARIA Conference.

Editors:
Torsten Ullrich, Fraunhofer Austria Research GmbH - Graz, Austria
Sandra Sendra, Polytechnic University of Valencia, Spain

ISSN: 2308-4170

ISBN: 978-1-61208-277-6

Location: Valencia, Spain

Dates: from May 27, 2013 to June 1, 2013

Articles: there are 7 articles

Recognition of Java Source Code by Graph Matching Algorithm
Tomáš Bublík and Miroslav Virius
keywords: abstract syntax tree; Java; Scripthon; trees matching; compiler API

On an Inference System for a Hybrid Process Calculus
Zining Cao
keywords: hybrid process calculus; symbolic bisimulation; inference system

Static and Dynamic Analysis for Robustness under Slowdown
Ingram Bondin and Gordon Pace
keywords: Synchronous Languages; Lustre; Slowdown

Prediction System of Larynx Cancer
Benjamín Moreno-Montiel and Carlos Hiram Moreno-Montiel
keywords: Data Minning; Classification; Classifier; Biochip genetic; Larynx Cancer.

Introduction in First-Order Combinatorics Providing a Conceptual Framework for Computation in Predicate Logic
Mikhail Peretyatkin
keywords: first-order logic; computation; theory; computably axiomatizable theory; interpretation; signature reduction procedure; combinatorics.

Using an Expression Interpreter to Reason With Partial Terms
Lev Naiman
keywords: logic; partial-terms;expression interpreter; theorem prover; two-valued logic

Reducing Higher Order pi-Calculus to Spatial Logics
Zining Cao
keywords: higher order pi-calculus; spatial logic; inference system