Path ordering - PDFSEARCH.IO - Document Search Engine

Path ordering
Results: 20

#	Item
1	Lexicographic Composition of Fuzzy Orderings Ulrich Bodenhofer Software Competence Center Hagenberg A-4232 Hagenberg, Austria Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2007-11-08 03:07:42 Fuzzy logic Logic Order theory Mathematical logic Abstraction Artificial intelligence Non-classical logic Fuzzy set T-norm Partially ordered set Fuzzy control system Path ordering
2	THE 41ST ANNUAL MEETING OF THE HUSSERL CIRCLE Hosted by The New School for Social Research Theresa Lang Center 55 W 13th Street, New York City TABLE OF CONTENTS Discursive Power Add to Reading List Source URL: www.husserlcircle.org Language: English - Date: 2010-06-17 13:43:56 Philosophy Continental philosophers German Lutherans Edmund Husserl Phenomenologists Postmodernism Path ordering
3	Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 08:22:42 Mathematics Multiset Set Path ordering Theoretical computer science Computing
4	Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation Mario Alviano, Wolfgang Faber, and Nicola Leone Department of Mathematics University of CalabriaRende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-17 20:33:04 Logic programming Mathematical logic Theoretical computer science Logic Order theory Model theory Stable model semantics Path ordering Negation as failure FO
5	Structural Evaluation by Generalized Integral Property? Yosuke Todo NTT Secure Platform Laboratories, Tokyo, Japan Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-07-02 20:32:13 Combinatorics Order theory Multiset Block cipher Permutation Pseudorandom permutation Path ordering Combination Integral Set
6	Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Programming idioms Mathematical logic Elementary mathematics Recursion Computability theory Escher Monad Rewriting Term Path ordering Fold Function
7	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:54 Models of computation Theoretical computer science Multiset Order theory Membrane computing Set Natural computing Path ordering Associative containers Algorithm P system Big O notation
8	Information Retrieval A Relational Model of Data for Large Shared Data Banks E. F. CODD Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-12-08 10:06:26 Mathematics Logic Mathematical logic Model theory Relational model Binary relation Structure First-order logic Finitary relation Relation Path ordering Relational algebra
9	Automated Termination Proofs with AProVE? J¨ urgen Giesl, Ren´e Thiemann, Peter Schneider-Kamp, Stephan Falke LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl\|thiemann\|psk}@informatik.rwth-aa Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:55 Theoretical computer science Mathematics Mathematical logic Logic in computer science Rewriting Termination analysis International Conference on Rewriting Techniques and Applications Algorithm Dependency graph Path ordering Polynomial
10	Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 16 pages Simulating Liveness by Reduction Strategies J¨ urgen Giesl 1 Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:58 Mathematical analysis Mathematics Concurrent computing Liveness Measure theory Safety Path ordering Lp space Connection