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
Hot Network Questions
Is it possible for a modern commercial airplane (namely Boeing 777) to stop being tracked without substantial mechanical failure?
Why the name "variety" and the notation "V" for zeroes of polynomials?
Word for a person who loses or has lost faith?
Lock CREATE TABLE
Whats wrong with this command?
Could you please tell me the time?
How to match a cyclically repeating sequence?
Print from command line
How to get a country's official languages?
Is it OK to set up passwordless `sudo` on a cloud server?
find set with maximal cardinality given constraints
Is my coding technique progressing in terms of C# loops?
'100' is a magic number
How To Publish Page/Component In SDL Tridion 2011?
Polynomials with Integer Coefficients and irrational roots
The logic behind "better safe than sorry"
What is core_file_storage table in Magento?
cron Vs. sleep - which is the better one in terms of efficient cpu/memory utilization?
How to acknowledge contributions of anonymous referee in new paper?
GCC Loop optimization
If DOS is single-tasking, how was multitasking possible in old version of Windows?
What? No error?
When does delete not mean delete?
Mandelbrot image in every language
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 Overflow
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0