Toggle navigation
IDEALS
Login
Search IDEALS
This Collection
query
Advanced Search
Browse Research and Tech Reports - Computer Science by Author "Mseguer, Jose"
Welcome to the IDEALS Repository
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse
IDEALS
Titles
Authors
Contributors
Subjects
Date
Communities
This Collection
Titles
Authors
Contributors
Subjects
Date
Series/Report
My Account
Login
Register
Information
Getting Started
About
Contact Us
Access Key
Private / Closed Access
Limited Access: U. of I. Users Only
IDEALS Home
→
College of Engineering
→
Dept. of Computer Science
→
Research and Tech Reports - Computer Science
→
Browse Research and Tech Reports - Computer Science by Author
Browse Research and Tech Reports - Computer Science by Author "Mseguer, Jose"
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ascending
descending
5
10
20
40
60
80
100
Now showing items 1-1 of 1
Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms
Schernhammer, Felix; Mseguer, Jose
(
2011-05-10
)
We introduce the notion of well-founded recursive order-sorted equational logic (OS) theories modulo axioms. Such theories define functions by well-founded recursion and are inherently terminating. Moreover, for ...
application/pdf
PDF
(624kB)
Now showing items 1-1 of 1