activity
20002021
most citedPredicate Logic as a Modelling Language: The IDP System

53 citations · 128 across the 16 of their papers we have counts for

collaborators
Showing 2000Show all

Nothing from them under that filter.

Their other years and fields are still on the left.