BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Erich Grädel
SearchCollections
Map detail
Erich Grädel10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipErich GrädelAErich GrädelResearcherZero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring SemanticsWZero-One Laws and Almos...preprint / 2022Logics of Dependence and Independence: The Local VariantsWLogics of Dependence an...preprint / 2021Elementary equivalence versus isomorphism in semiring semanticsWElementary equivalence ...preprint / 2021Dependence and IndependenceWDependence and Independ...preprint / 2012Rank logic is dead, long live rank logic!WRank logic is dead, lon...preprint / 2015Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and IndependenceWUnifying Hidden-Variabl...preprint / 2022Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point LogicWGeneralized Absorptive ...preprint / 2020The discrete strategy improvement algorithm for parity games and complexity measures for directed graphsWThe discrete strategy i...preprint / 2012Definability of linear equation systems over groups and ringsWDefinability of linear ...preprint / 2013
Person9 links

Erich Grädel

Researcher

PaperZero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring SemanticsAuthorship / preprint / 2022PaperLogics of Dependence and Independence: The Local VariantsAuthorship / preprint / 2021PaperElementary equivalence versus isomorphism in semiring semanticsAuthorship / preprint / 2021PaperDependence and IndependenceAuthorship / preprint / 2012PaperRank logic is dead, long live rank logic!Authorship / preprint / 2015PaperUnifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and IndependenceAuthorship / preprint / 2022PaperGeneralized Absorptive Polynomials and Provenance Semantics for Fixed-Point LogicAuthorship / preprint / 2020PaperThe discrete strategy improvement algorithm for parity games and complexity measures for directed graphsAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)