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.

Gilles Dowek
SearchCollections
Map detail
Gilles Dowek13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGilles DowekAGilles DowekResearcherRewriting Logic Semantics of a Plan Execution LanguageWRewriting Logic Semanti...preprint / 2010From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functionsWFrom nominal sets bindi...preprint / 2011Cut-elimination and the decidability of reachability in alternating pushdown systemsWCut-elimination and the...preprint / 2014Deduction modulo theoryWDeduction modulo theorypreprint / 2015Rules and derivations in an elementary logic courseWRules and derivations i...preprint / 2016Decidability, Introduction Rules and AutomataWDecidability, Introduct...preprint / 2016On the definition of the classical connectives and quantifiersWOn the definition of th...preprint / 2016The physical Church-Turing thesis and the principles of quantum theoryWThe physical Church-Tur...preprint / 2011Causal graph dynamicsWCausal graph dynamicspreprint / 2012Non determinism through type isomorphismWNon determinism through...preprint / 2013Normalisation of a Non-deterministic Type Isomorphic λ-calculusWNormalisation of a Non-...preprint / 2014The probability of non-confluent systemsWThe probability of non-...preprint / 2014
Person12 links

Gilles Dowek

Researcher

PaperRewriting Logic Semantics of a Plan Execution LanguageAuthorship / preprint / 2010PaperFrom nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functionsAuthorship / preprint / 2011PaperCut-elimination and the decidability of reachability in alternating pushdown systemsAuthorship / preprint / 2014PaperDeduction modulo theoryAuthorship / preprint / 2015PaperRules and derivations in an elementary logic courseAuthorship / preprint / 2016PaperDecidability, Introduction Rules and AutomataAuthorship / preprint / 2016PaperOn the definition of the classical connectives and quantifiersAuthorship / preprint / 2016PaperThe physical Church-Turing thesis and the principles of quantum theoryAuthorship / preprint / 2011

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)