Logic Programming and Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540569442, 9783540478300
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

MULTLOG: A system for axiomatizing many-valued logics

1993 ◽  
pp. 345-347 ◽  
Author(s):  
Matthias Baaz ◽  
Christian G. Fermüller ◽  
Arie Ovrutcki ◽  
Richard Zach

SKIL: A system for programming with proofs

1993 ◽  
pp. 348-350 ◽  
Author(s):  
D. Galmiche ◽  
O. Hermann

Deciding in HFS-theory via linear integer programming

1993 ◽  
pp. 170-181 ◽  
Author(s):  
M. Hibti ◽  
H. Lombardi ◽  
B. Legeard
Keyword(s):  
Integer Programming ◽  
Linear Integer Programming

Consistency checking of automata functional specifications

1993 ◽  
pp. 76-85 ◽  
Author(s):  
Anatoli N. Chebotarev ◽  
Marina K. Morokhovets
Keyword(s):  
Consistency Checking

System description of LAMBDALG

1993 ◽  
pp. 354-356 ◽  
Author(s):  
Yexuan Gui ◽  
Mitsuhiro Okada
Keyword(s):  
System Description
Load More ...
Sign in / Sign up

Export Citation Format

Share Document