| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Fairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66 | Jaeger, Manfred | [Kwiatkowska, Marta] | 1999 | Proceedings Article |
| Farmer's Theorem Revisited
In: Information Processing Letters [74], 47-53 | Veanes, Margus | | 2000 | Journal Article |
| Fast 2-variable integer programming
In: Proceedings of the 8th Conference on Integer and Combinatorial Optimization (IPCO-01), 78-89 | Eisenbrand, Friedrich
[Rote, Günter] | Gerards, Bert
Aardal, Karen | 2001 | Proceedings Article |
| Fast Probabilistic Planning Through Weighted Model Counting
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252 | [Domshlak, Carmel]
Hoffmann, Jörg | [Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee] | 2006 | Proceedings Article |
| Fast reduction of ternary quadratic forms
In: Proceedings of the 1st Conference on Lattices and Cryptography (CaLC-01), 99-111 | Eisenbrand, Friedrich
[Rote, Günter] | Silverman, J. | 2001 | Proceedings Article |
| Fast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120 | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | | 2004 | Journal Article |
| Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.] | [Emerson, E. Allen]
[Namjoshi, Kedar S.] | 2006 | Proceedings Article |
| Finding Resolution K-Transformations
Universität des Saarlandes | Smaus, Jan-Georg | | 1996 | Thesis - Masters thesis |
| Finesse: An Adaptation of Proof-Planning to Declarer Play in Bridge
In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), 72-76 | Frank, Ian
Basin, David A.
Bundy, Alan | Neuman, B.
Horn, W. | 1992 | Proceedings Article |
| Finite-Control Mobile Ambients
In: Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, 295-313 | Charatonik, Witold
[Gordon, Andrew Donald]
[Talbot, Jean-Marc] | [Le Métayer, Daniel] | 2002 | Proceedings Article |
| Finite domain and cutting plane techniques in CLP($\cal PB$)
In: Proceedings of the Twelfth International Conference on Logic Programming, 133-147 | Barth, Peter
Bockmayr, Alexander | Sterling, Leon | 1995 | Proceedings Article |
| First-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319 | Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph | [Nieuwenhuis, Robert]
[Voronkov, Andrei] | 2001 | Proceedings Article |
| First-Order Modal Logic Theorem Proving and Functional Simulation
In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85 | Nonnengart, Andreas | [Bajcsy, R.] | 1993 | Proceedings Article |
| First-Order Polynomial based Theorem Proving
In: Mathematics Mechanizations and Applications, 273-294 | Wu, Jinzhao | [Gao, X-S.]
[Wang, D.] | 2000 | Part of a Book |
| First-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906 | Weidenbach, Christoph | | 1995 | Journal Article |
| First-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261 | Weidenbach, Christoph | Broda, Krysia
D'Agostino, Marcello
et. al. | 1994 | Proceedings Article |
| Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes | Piskac, Ruzica | | 2005 | Thesis - Masters thesis |
| Formal Fairness Proofs for Optimistic Contract Signing Protocols
Universität des Saarlandes | Veit, Jörg | | 1999 | Thesis - Masters thesis |
| Formal Methods for Automated Program Improvement
In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, 367-378 | Madden, Peter | Nebel, Bernhard
Dreschler-Fischer, Leonie | 1994 | Proceedings Article |
| Formalisierung der Arithmetik
Universität Göttingen | Hagemann, Willem | | 2005 | Thesis - other |
| Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562 | Basin, David A.
Krieg-Brückner, Bernd | [Astesiano, Egidio]
[Kreowski, H.-J.]
[Krieg-Brückner, B.] | 1999 | Part of a Book |
| Formally Verified Synthesis of Combinational CMOS Circuits
In: Integration: The Intern. Journal of VLSI Design [11], 235-250 | Basin, David A.
Brown, G. M.
Leeser, M. E. | | 1991 | Journal Article |
| Friends or Foes? An AI Planning Perspective on Abstraction and Search
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 294-303 | Hoffmann, Jörg
[Sabharwal, Ashish]
[Domshlak, Carmel] | [Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee] | 2006 | Proceedings Article |
| From a Hilbert Calculus to its Model Theoretic Semantics
In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), 218-252 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | Broda, K. | 1992 | Proceedings Article |
| Fsub with recursive types: `Types-As-Propositions´ Interpretations in M. Rabin's S2S
In: Proceedings of JFLA'95: Journées Francophones des Langages Applicatifs (JFLA'95), 49-73 | Vorobyov, Sergei | | 1995 | Proceedings Article |
| Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603 | Ohlbach, Hans Jürgen
Schmidt, Renate A. | | 1997 | Journal Article |
| General Belief Measures
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, 575-582 | Weydert, Emil | | 1994 | Proceedings Article |
| General Proof Theoretic Techniques for Automatic
Programing
In: Proceedings of the EAST-WEST AI CONFERENCE: From
Theory to Practice - EWAIC'93, | Madden, Peter
[Bundy, Alan] | | 1993 | Proceedings Article |
| Generalized Definite Set Constraints
In: Constraints [5], 161-202 | Talbot, Jean-Marc
[Devienne, Philippe]
[Tison, Sophie] | | 2000 | Journal Article |
| Generalized Rewriting in Type Theory
In: Journal of Information Processing and Cybernetics [30], 249-259 | Basin, David A. | | 1994 | Journal Article |