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.

Clemens Grabmayer
SearchCollections
Map detail
Clemens Grabmayer13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipClemens GrabmayerAClemens GrabmayerResearcherStructure-Constrained Process Graphs for the Process Semantics of Regular ExpressionsWStructure-Constrained P...preprint / 2021A Complete Proof System for 1-Free Regular Expressions Modulo BisimilarityWA Complete Proof System...preprint / 2020Automatic Sequences and Zip-SpecificationsWAutomatic Sequences and...preprint / 2012Term Graph Representations for Cyclic Lambda-TermsWTerm Graph Representati...preprint / 2013From Abstract Rewriting Systems to Abstract Proof SystemsWFrom Abstract Rewriting...preprint / 2013Term Graph Representations for Cyclic Lambda-TermsWTerm Graph Representati...preprint / 2013Expressibility in the Lambda Calculus with muWExpressibility in the L...preprint / 2013Nested Term Graphs (Work In Progress)WNested Term Graphs (Wor...preprint / 2015Expressibility in the Lambda Calculus with LetrecWExpressibility in the L...preprint / 2013Maximal Sharing in the Lambda Calculus with letrecWMaximal Sharing in the ...preprint / 2014Regularity Preserving but not Reflecting EncodingsWRegularity Preserving b...preprint / 2015The Degree of Squares is an Atom (Extended Version)WThe Degree of Squares i...preprint / 2015
Person12 links

Clemens Grabmayer

Researcher

PaperStructure-Constrained Process Graphs for the Process Semantics of Regular ExpressionsAuthorship / preprint / 2021PaperA Complete Proof System for 1-Free Regular Expressions Modulo BisimilarityAuthorship / preprint / 2020PaperAutomatic Sequences and Zip-SpecificationsAuthorship / preprint / 2012PaperTerm Graph Representations for Cyclic Lambda-TermsAuthorship / preprint / 2013PaperFrom Abstract Rewriting Systems to Abstract Proof SystemsAuthorship / preprint / 2013PaperTerm Graph Representations for Cyclic Lambda-TermsAuthorship / preprint / 2013PaperExpressibility in the Lambda Calculus with muAuthorship / preprint / 2013PaperNested Term Graphs (Work In Progress)Authorship / 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)