Ulf Dunker, Andreas Flögel, Hans Kleine Büning, Jürgen Lehmann, Theodor Lettmann  Home/Search
Context
Related
| unipaderborn.de/do...trri94142.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ILFA provides programs and libraries of reusable software components for logic processing. "ILFA" stands for Inte- grated Logic Functions for Advanced Applications and has its roots in a research project between the german IBM in Heidelberg and the Universities of Duisburg and Paderborn. The implementation by the C programming language supports an efficient work with logic methods in different computer environments. ILFA contains a great number of logic algorithms divided in implementations... (Update)
Active bibliography (related documents): More All
2.0: ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (Correct)
0.2: Strategies and Techniques: Reusable Artifacts for the.. - Geppert, Dittrich (1995) (Correct)
0.2: Antilemmas for Model Elimination - Dunker (Correct)
Similar documents based on text: More All
0.3: Workshop "Logik in der Informatik" - Büning (1994) (Correct)
0.2: Closure under replacements versus run time of Davis-Putnam.. - Büning, Lettmann (Correct)
0.2: Integrating Logical Functions with ILF - Dahn, Gehne, Honigmann, Walther.. (1995) (Correct)
BibTeX entry: (Update)
@misc{ dunker-ilfa,
author = "Ulf Dunker and Andreas Flögel and Hans Kleine Büning and Jürgen Lehmann
and Theodor Lettmann",
title = "ILFA - A Project in Experimental Logic Computation",
url = "citeseer.ist.psu.edu/231475.html" }
Citations (may not include all citations):46 Open Software Foundation (context) - Software, OSF et al. - 1990
4 Richter: Reusability Framework (context) - Biggerstaff - 1989
4 Bibel: SETHEO -- A High--Performance Theorem Prover (context) - Letz, Bayerl et al. - 1990
2 Schumann: Bottom--Up Enhancements of Deductive Systems (context) - Bibel, Letz - 1987
2 Machine Intelligence (context) - Bowen, Full et al. - 1982 ACM
2 Steinmuller: Frameworks und Entwurfsumgebungen (context) - Rammig - 1992
1 ILFA: A project in experimental logic computation (context) - Smullyan, Logic et al. - 1968
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
Capabilities and Complexity of Computations with.. - Lürwer-Brüggemeier.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC