Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

First Page		Document Content
Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set		Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: isabelle.in.tum.de Download Document from Source Website File Size: 361,50 KB Share Document on Facebook

	Spiral phases from a systematic low-energy effective field theory for magnons and holes in an antiferromagnet on the honeycomb lattice Masterarbeit DocID: 1vfJ2 - View Document
	Automated lattice perturbation theory Chris Monahan College of William and Mary/JLab Motivation DocID: 1uPEq - View Document
	Extracting B physics from lattice simulations via lattice perturbation theory DocID: 1uNLQ - View Document
	EFFECTIVE FIELD THEORY FOR LATTICE NUCLEI U. van Kolck Institut de Physique Nucléaire d’Orsay and University of Arizona DocID: 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