Infinitary queries and their asymptotic probabilities I: Properties definable in transitive closure logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023784 ◽

2005 ◽

pp. 396-410 ◽

Cited By ~ 6

Author(s):

Jerzy Tyszkiewicz

Keyword(s):

Transitive Closure

Download Full-text

High-probability parallel transitive closure algorithms

Proceedings of the second annual ACM symposium on Parallel algorithms and architectures - SPAA '90 ◽

10.1145/97444.97686 ◽

1990 ◽

Cited By ~ 9

Author(s):

J. Ullman ◽

M. Yannakakis

Keyword(s):

High Probability ◽

Transitive Closure

Download Full-text

Non-well-founded Proof Theory of Transitive Closure Logic

ACM Transactions on Computational Logic ◽

10.1145/3404889 ◽

2020 ◽

Vol 21 (4) ◽

pp. 1-31

Author(s):

Liron Cohen ◽

Reuben N. S. Rowe

Keyword(s):

Proof Theory ◽

Transitive Closure

Download Full-text

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

Information Systems ◽

10.1016/j.is.2019.101467 ◽

2020 ◽

Vol 89 ◽

pp. 101467 ◽

Cited By ~ 1

Author(s):

Jelle Hellings ◽

Marc Gyssens ◽

Yuqing Wu ◽

Dirk Van Gucht ◽

Jan Van den Bussche ◽

...

Keyword(s):

Transitive Closure ◽

Relation Algebra

Download Full-text

Trade-offs for fully dynamic transitive closure on DAGs: breaking through the O ( n 2 barrier

Journal of the ACM ◽

10.1145/1059513.1059514 ◽

2005 ◽

Vol 52 (2) ◽

pp. 147-156 ◽

Cited By ~ 27

Author(s):

Camil Demetrescu ◽

Giuseppe F. Italiano

Keyword(s):

Transitive Closure ◽

Trade Offs

Download Full-text

Transitive closure of L-fuzzy relations and interval-valued fuzzy relations

International Conference on Fuzzy Systems ◽

10.1109/fuzzy.2010.5584671 ◽

2010 ◽

Cited By ~ 1

Author(s):

Ramon Gonzalez-del-Campo ◽

L. Garmendia ◽

B. De Baets

Keyword(s):

Transitive Closure ◽

Fuzzy Relations ◽

Interval Valued

Download Full-text

Hierarchical clustering using transitive closure and semi-supervised classification based on fuzzy rough approximation

2012 IEEE International Conference on Granular Computing ◽

10.1109/grc.2012.6468684 ◽

2012 ◽

Cited By ~ 1

Author(s):

Sadaaki Miyamoto ◽

Satoshi Takumi

Keyword(s):

Hierarchical Clustering ◽

Supervised Classification ◽

Transitive Closure ◽

Rough Approximation

Download Full-text

The transitive closure of control dependence

ACM Letters on Programming Languages and Systems ◽

10.1145/151333.151337 ◽

1992 ◽

Vol 1 (2) ◽

pp. 178-190 ◽

Cited By ~ 18

Author(s):

Michael Weiss

Keyword(s):

Transitive Closure ◽

Control Dependence

Download Full-text

Neural network based heuristics for transitive closure derivation

10.1109/ijcnn.1989.118326 ◽

1989 ◽

Author(s):

Zhang

Keyword(s):

Neural Network ◽

Transitive Closure

Download Full-text

The role of transitive closure in evaluating blocking methods for dirty entity resolution

Journal of Intelligent Information Systems ◽

10.1007/s10844-021-00676-3 ◽

2021 ◽

Author(s):

Mahdi Niknam ◽

Behrouz Minaei-Bidgoli ◽

Rouhollah Dianat

Keyword(s):

Transitive Closure ◽

Entity Resolution

Download Full-text

On the PVM computations of transitive closure and algebraic path problems

Recent Advances in Parallel Virtual Machine and Message Passing Interface - Lecture Notes in Computer Science ◽

10.1007/bfb0056593 ◽

1998 ◽

pp. 338-345 ◽

Cited By ~ 2

Author(s):

Ken Chan ◽

Alan Gibbons ◽

Marcelo Pias ◽

Wojciech Rytter

Keyword(s):

Transitive Closure

Download Full-text