output
20022026
most citedThe Future is Big Graphs! A Community View on Graph Processing Systems

157 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

3 papers · 1 filter

cs.LO2017★ 8 cited

Common Knowledge in a Logic of Gossips

Krzysztof R. Apt, Dominik Wojtczak

Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets. Recently a number of authors s…

cs.LO2010★ 1 cited

Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers

Ana Bove, Ekaterina Komendantskaya, Milad Niqui

This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This worksh…

cs.LO2002

First-order Logic as a Constraint Programming Language

K. R. Apt, C. F. M. Vermeulen

We provide a denotational semantics for first-order logic that captures the two-level view of the computation process typical for constraint programming. At one level we have the u…