Amine Chaieb und Tobias Nipkow - Info zur Person

(1 - 9 von 13

)

Deciding Presburger arithmetic in agda - GitHub

github.com

... done in Nottingham under Thorsten Altenkirch's supervision. It is based on Amine Chaieb and Tobias Nipkow's formalization of a similar procedure in HOL. › gallais › agda-...

Logic for Programming, Artificial Intelligence, and ...

books.google.com

Amine Chaieb and Tobias Nipkow Institut f ̈ur Informatik, Technische Universit ̈at M ̈unchen Abstract. We present an implementation and verification in ...

Alle Infos zum Namen "Amine Chaieb"

Bytecode Analysis for Proof Carrying Code - CyberLeninka

cyberleninka.org

Abstract of research paper on Computer and information sciences, author of scientific article — Martin Wildmoser, Amine Chaieb, Tobias Nipkow. › article

LPAR-12 Accepted Papers

www.cs.miami.edu

... Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees; Amine Chaieb and Tobias Nipkow › geoff

Lab for Automated Reasoning and Analysis - LARA

lara.epfl.ch

— Amine Chaieb, Tobias Nipkow: Proof Synthesis and Reflection for Linear Arithmetic. J. Autom. Reasoning 41(1): (2008). › ccost:part_ii_b

Verifying and Reflecting Quantifier Elimination for Presburger ...www.springerprofessional.de › verifying-and-reflecting...

www.springerprofessional.de

Authors: Amine Chaieb, Tobias Nipkow. Publisher: Springer Berlin Heidelberg. Published in: Logic for Programming, Artificial Intelligence, and Reasoning.