Results 121 to 130 of about 888,944 (169)

Battle flags hanging in Ohio History Center plaza

, 1970
Photograph of Ohio's Battle Flag collection hanging in the plaza of the Ohio History Center in Columbus, Ohio, ca. 1970. The flags were displayed on the Center’s plaza level from the time the building opened in 1970 through the late 1980s, when they were
Ohio History Connection
core  

Hopf Galois Theory for Separable Field Extensions [PDF]

, 1987
Greither, C., Bodo Pareigis, Pareigis, Bodo, Cornelius Greither, Greither, Cornelius   +4 more
core   +1 more source

Hopf–Galois Structures, Skew Braces, and Their Connection

The study of Hopf–Galois structures, tools for addressing classical problems in arithmetic or field theory in a broader context, has been enriched by an unexpected connection with skew braces, algebraic structures whose relevance in various areas of ...
STEFANELLO, LORENZO
core  

Galois stratification and ACFA [PDF]

, 2015
Tomašić, I., Tomasic, I
core   +1 more source

A Galois connection for valued constraint languages of infinite size

A Galois connection between clones and relational clones on a fixed finite domain is one of the cornerstones of the so-called algebraic approach to the computational complexity of non-uniform Constraint Satisfaction Problems (CSPs).
Živný, Stanislav, Fulla, Peter
core  

Pioneer Statue at base of Fort Recovery monument

Statue of a pioneer at the base of Fort Recovery Monument, Mercer County, Ohio. Fort Recovery, built in 1792, was the site of Major General Arthur St. Clair defeat by an Indian Confederacy under the leadership of Shawnee chief Weyapiersenwah (Blue Jacket)
Ohio History Connection
core  

Strawberry Connection

Strawberry Connection
core  

Some of the next articles are maybe not open access.

Related searches:

A Galois Connection

Logica Universalis, 2007
The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.
exaly   +2 more sources

A galois connection calculus for abstract interpretation

ACM SIGPLAN Notices, 2014
International audienceWe introduce a Galois connection calculus for language independent specification of abstract interpretations used in programming language semantics, formal verification, and static analysis.
Radhia Cousot
exaly   +2 more sources

Duality for Quasilattices and Galois Connections

Fundamenta Informaticae, 2017
The primary goal of the paper is to establish a duality for quasilattices. The main ingredients are duality for semilattices and their representations, the structural analysis of quasilattices as Płonka sums of lattices, and the duality for lattices developed by Hartonas and Dunn.
Anna B. Romanowska, Jonathan D. H. Smith
openaire   +3 more sources