Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

AML
2004

favoriteEmaildiscussreport

92views more AML 2004»

Adding Skolem functions to simple theories

13 years 4 months ago

Adding Skolem functions to simple theories

Download www.uea.ac.uk

We examine the conditions under which we can keep simplicity or categoricity after adding a Skolem function to the theory. AMS classification: 03C45 , 03C50

Herwig Nübling

Real-time Traffic

AML 2004 | AMS Classification | Simplicity | Skolem Function |

claim paper

Related Content

» CutSimulation in Impredicative Logics

» Effect of limited topology knowledge on opportunistic forwarding in ad hoc wireless networ...

» A framework for misuse detection in ad hoc networks part II

» Inferring Type Isomorphisms Generically

» Designing aspects for sideeffect localization

» Embedding Pure Type Systems in the LambdaPiCalculus Modulo

» The multicast capacity of large multihop wireless networks

» Mining eclipse for crosscutting concerns

» OnLine Reflexive Constraint Satisfaction for Hybrid Systems First Steps

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2004
Where	AML
Authors	Herwig Nübling

Comments (0)