<--- Back to Details
First PageDocument Content
Lydia / Omphale / Xanthus / Heracles / Alcaeus / Herodotus / Nicolaus of Damascus / Etruscan language / Suda / Tmolus / Xanthos
Date: 2015-03-03 04:58:22
Lydia
Omphale
Xanthus
Heracles
Alcaeus
Herodotus
Nicolaus of Damascus
Etruscan language
Suda
Tmolus
Xanthos

2015A03ParadisoNoteToSudaa1272

Add to Reading List

Source URL: research.ncl.ac.uk

Download Document from Source Website

File Size: 97,83 KB

Share Document on Facebook

Similar Documents

Measure theory / FO / Finite model theory / Ergodic theory / Mathematics / Logic / Mathematical logic / Lie algebras / Hopf decomposition / Pattern language

Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca

DocID: 1xVIK - View Document

Theoretical computer science / Automated theorem proving / Mathematics / Mathematical logic / Formal methods / Logic in computer science / Resolution / Logic programming / Clause / Vampire / Boolean satisfiability problem / CARINE

Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo

DocID: 1xTM6 - View Document

DOCX Document

DocID: 1xjHb - View Document

DOC Document

DocID: 1x3g7 - View Document

DOC Document

DocID: 1wC8Q - View Document