HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:equivalence

Papers
Fault Tolerance Tool for Human and Machine Interaction & Application to Civilian Aircraft
Javier Viaña and Kelly Cohen
EasyChair Preprint no. 5050
Induction Models on $\mathbb{N}$
A. Dileep, Kuldeep S. Meel and Ammar F. Sabili
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2023 easychair.org. All rights reserved.