Termination Checking With Types

RAIRO - Theoretical Informatics and Applications - France
doi 10.1051/ita:2004015
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EDP Sciences

Related search

Natural Resource Types and Conflict Termination Initiatives

Colombia Internacional
SociologyInternational RelationsPolitical ScienceHistory
2009English

Program Checking With Less Hassle

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Multi-Completion With Termination Tools

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2012English

Checking Pedigree Consistency With PCS

English

Proving Termination With Multiset Orderings

Communications of the ACM
Computer Science
1979English

Architecture Conformance Checking With Description Logics

2017English

Model Checking MANETs With Arbitrary Mobility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Improving Model Checking With Context Modelling

Advances in Software Engineering
2012English

Model Checking Transactional Memory With Spin

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy