to customize your list.
more stack exchange communities
Start here for a quick overview of the site
Detailed answers to any questions you might have
Discuss the workings and policies of this site
Ordering of multisets in “Paramodulation based theorem proving”
I'm reading this paper: http://www.lsi.upc.edu/~albert/papers/handbook.ps.gz and I can't understand a part of it. it defines an ordering on multisets (it defines a multiset over $A$ as a function $A ...
Jul 11 '12 at 8:54
newest automated-theorem-proving order-theory questions feed
Announcing The Launch Of Meta Stack Exchange
Hot Network Questions
How big of a deal is Westeros?
Command that displays a string argument
Kid's homework: 4 equations 5 unknowns? Going crazy!
What is Null0 interface?
What are the OpenSSL standard Diffie Hellmann parameters (primes)?
Overlay Rectangle on a ListPlot
Does `sl` ever show the current directory?
Install from Ubuntu Software Center web button
Does Unity own my game?
Do I cite books that helped me indirectly?
What should be included in a freshman 'Mathematics for computer programmers' course?
How to explain Heartbleed without technical terms?
Method to separate a list of ports to scan
Do compiler-writers actually need to 'understand' machine code?
Prose Equivalent to Poetic
Solution environment via true/false switch
Plausible explanation for large number of armed adventurers in fantasy RPG setting?
How are safety standards enforced in an airline which is not IOSA certified?
Inductive argument for infinite number of cities
Are there any rules or guidelines out there for in-game gambling in D&D 4e?
Inserting a sentence at the top of the page
What is the best way to simplify/optimize a piece of code that looks at combinations of conditions?
Can I use vodka to clean my keyboard?
more hot questions
Life / Arts
Culture / Recreation
TeX - LaTeX
Unix & Linux
Ask Different (Apple)
Geographic Information Systems
Science Fiction & Fantasy
Seasoned Advice (cooking)
Personal Finance & Money
English Language & Usage
Mi Yodeya (Judaism)
Cross Validated (stats)
Theoretical Computer Science
Meta Stack Exchange
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0