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.

Marco Calautti
SearchCollections
Map detail
Marco Calautti5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipMarco CalauttiAMarco CalauttiResearcherNon-Uniformly Terminating Chase: Size and ComplexityWNon-Uniformly Terminati...preprint / 2022Uniform Operational Consistent Query AnsweringWUniform Operational Con...preprint / 2022Using Linear Constraints for Logic Program Termination AnalysisWUsing Linear Constraint...preprint / 2015Checking Termination of Bottom-Up Evaluation of Logic Programs with Function SymbolsWChecking Termination of...preprint / 2014
Person4 links

Marco Calautti

Researcher

PaperNon-Uniformly Terminating Chase: Size and ComplexityAuthorship / preprint / 2022PaperUniform Operational Consistent Query AnsweringAuthorship / preprint / 2022PaperUsing Linear Constraints for Logic Program Termination AnalysisAuthorship / preprint / 2015PaperChecking Termination of Bottom-Up Evaluation of Logic Programs with Function SymbolsAuthorship / preprint / 2014

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)