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.

Rémy Haemmerlé
SearchCollections
Map detail
Rémy Haemmerlé9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRémy HaemmerléARémy HaemmerléResearcher(Co-)Inductive semantics for Constraint Handling RulesW(Co-)Inductive semantic...preprint / 2011Observational equivalences for linear logic CC languagesWObservational equivalen...preprint / 2011Diagrammatic confluence for Constraint Handling RulesWDiagrammatic confluence...preprint / 2012Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)WProceedings of the 23rd...preprint / 2013Proceedings of the Eleventh Workshop on Constraint Handling RulesWProceedings of the Elev...preprint / 2014The Ciao clp(FD) Library. A Modular CLP Extension for PrologWThe Ciao clp(FD) Librar...preprint / 2013Lightweight compilation of (C)LP to JavaScriptWLightweight compilation...preprint / 2012Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015WProceedings of the Work...preprint / 2015
Person8 links

Rémy Haemmerlé

Researcher

Paper(Co-)Inductive semantics for Constraint Handling RulesAuthorship / preprint / 2011PaperObservational equivalences for linear logic CC languagesAuthorship / preprint / 2011PaperDiagrammatic confluence for Constraint Handling RulesAuthorship / preprint / 2012PaperProceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)Authorship / preprint / 2013PaperProceedings of the Eleventh Workshop on Constraint Handling RulesAuthorship / preprint / 2014PaperThe Ciao clp(FD) Library. A Modular CLP Extension for PrologAuthorship / preprint / 2013PaperLightweight compilation of (C)LP to JavaScriptAuthorship / preprint / 2012PaperProceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015Authorship / preprint / 2015

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)