First Page | Document Content | |
---|---|---|
Date: 2018-10-25 12:43:22Mathematics Order theory Algebra Abstract algebra Lattice theory Lattice Partially ordered set KnasterTarski theorem Complete lattice Binary relation Join and meet Monotonic function | Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of MelbourAdd to Reading ListSource URL: jorgenavas.github.ioDownload Document from Source WebsiteFile Size: 239,01 KBShare Document on Facebook |
Spiral phases from a systematic low-energy effective field theory for magnons and holes in an antiferromagnet on the honeycomb lattice MasterarbeitDocID: 1vfJ2 - View Document | |
Automated lattice perturbation theory Chris Monahan College of William and Mary/JLab MotivationDocID: 1uPEq - View Document | |
Extracting B physics from lattice simulations via lattice perturbation theoryDocID: 1uNLQ - View Document | |
EFFECTIVE FIELD THEORY FOR LATTICE NUCLEI U. van Kolck Institut de Physique Nucléaire d’Orsay and University of ArizonaDocID: 1uLeZ - View Document | |
Lattice 2016: 2nd Circular Lattice 2016: The 34th International Symposium on Lattice Field Theory http://www.southampton.ac.uk/lattice2016/DocID: 1tiWS - View Document |