default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan Van den Bussche
Person information
- affiliation: Universiteit Hasselt, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j90]Ana Pop Stefanija
, Bart Buelens, Elfi Goesaert, Tom Lenaerts, Jo Pierson, Jan Van den Bussche:
Toward a Solid Acceptance of the Decentralized Web of Personal Data: Societal and Technological Convergence. Commun. ACM 67(1): 43-46 (2024)- [j89]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. Log. Methods Comput. Sci. 20(1) (2024) - [j88]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Executable First-Order Queries in the Logic of Information Flows. Log. Methods Comput. Sci. 20(2) (2024) - [j87]Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche:
Preservation theorems for Tarski's relation algebra. Log. Methods Comput. Sci. 20(3) (2024) - [j86]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
Postulates for Provenance: Instance-based provenance for first-order logic. Proc. ACM Manag. Data 2(2): 95 (2024) - [j85]Amir Aghasadeghi, Jan Van den Bussche, Julia Stoyanovich:
Temporal graph patterns by timed automata. VLDB J. 33(1): 25-47 (2024) - [c118]Martin Grohe, Jan Van den Bussche, Ke Yi:
The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2024. PODS Companion 2024: 7 - [c117]Maxime Jakubowski, Jan Van den Bussche:
What's in a Neighborhood? Describing Nodes in RDF Graphs Using Shapes. RuleML+RR 2024: 1-13 - [c116]Maxime Jakubowski, Jan Van den Bussche:
Compiling SHACL Into SQL. ISWC (2) 2024: 59-77 - [i47]Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche:
Query languages for neural networks. CoRR abs/2408.10362 (2024) - [i46]Shqiponja Ahmetaj, Slawomir Staworko, Jan Van den Bussche, Maxime Jakubowski:
Shapes in Graph Data: Theory and Implementation (Dagstuhl Seminar 24102). Dagstuhl Reports 14(3): 9-30 (2024) - 2023
- [j84]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Inputs, Outputs, and Composition in the Logic of Information Flows. ACM Trans. Comput. Log. 24(4): 33:1-33:44 (2023) - [c115]Thomas Delva, Anastasia Dimou, Maxime Jakubowski, Jan Van den Bussche:
Data Provenance for SHACL. EDBT 2023: 285-297 - [c114]Jeroen Bollen, Jasper Steegmans, Jan Van den Bussche, Stijn Vansummeren:
Learning Graph Neural Networks using Exact Compression. GRADES-NDA@SIGMOD 2023: 8:1-8:9 - [c113]Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht:
Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. LICS 2023: 1-13 - [c112]Maarten Vandenbrande, Maxime Jakubowski, Pieter Bonte, Bart Buelens, Femke Ongenae, Jan Van den Bussche:
POD-QUERY: Schema Mapping and Query Rewriting for Solid Pods. ISWC (Posters/Demos/Industry) 2023 - [i45]Jeroen Bollen, Jasper Steegmans, Jan Van den Bussche, Stijn Vansummeren:
Learning Graph Neural Networks using Exact Compression. CoRR abs/2304.14793 (2023) - [i44]Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche:
Preservation theorems for Tarski's relation algebra. CoRR abs/2305.04656 (2023) - 2022
- [j83]Robert Brijder, Marc Gyssens, Jan Van den Bussche:
On matrices and K-relations. Ann. Math. Artif. Intell. 90(2-3): 181-210 (2022) - [c111]Heba Aamer, Marco Montali, Jan Van den Bussche:
What Can Database Query Processing Do for Instance-Spanning Constraints? Business Process Management Workshops 2022: 132-144 - [c110]Floris Geerts, Jasper Steegmans, Jan Van den Bussche:
On the Expressive Power of Message-Passing Neural Networks as Global Feature Map Transformers. FoIKS 2022: 20-34 - [c109]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
Expressiveness of SHACL Features. ICDT 2022: 15:1-15:16 - [c108]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
SHACL: A Description Logic in Disguise. LPNMR 2022: 75-88 - [i43]Floris Geerts, Jasper Steegmans, Jan Van den Bussche:
On the expressive power of message-passing neural networks as global feature map transformers. CoRR abs/2203.09555 (2022) - [i42]Amir Pouya Aghasadeghi, Jan Van den Bussche, Julia Stoyanovich:
Temporal graph patterns by timed automata. CoRR abs/2205.14269 (2022) - [i41]Heba Aamer, Marco Montali, Jan Van den Bussche:
What Can Database Query Processing Do for Instance-Spanning Constraints? CoRR abs/2206.00140 (2022) - [i40]Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche:
Expressiveness within Sequence Datalog. CoRR abs/2206.06754 (2022) - [i39]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Inputs, Outputs, and Composition in the Logic of Information Flows. CoRR abs/2209.06448 (2022) - [i38]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Executable First-Order Queries in the Logic of Information Flows. CoRR abs/2210.00240 (2022) - [i37]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. CoRR abs/2212.03553 (2022) - 2021
- [j82]Steven Engels, Tony Tan, Jan Van den Bussche:
Subsequence versus substring constraints in sequence pattern languages. Acta Informatica 58(1-2): 35-56 (2021) - [j81]Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema:
Descriptive complexity of deterministic polylogarithmic time and space. J. Comput. Syst. Sci. 119: 145-163 (2021) - [j80]Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche:
DNAQL: a query language for DNA sticker complexes. Nat. Comput. 20(1): 161-189 (2021) - [j79]Floris Geerts, Thomas Muñoz, Cristian Riveros, Jan Van den Bussche, Domagoj Vrgoc:
Matrix Query Languages. SIGMOD Rec. 50(3): 6-19 (2021) - [c107]Heba Aamer, Jan Van den Bussche:
Input-Output Disjointness for Forward Expressions in the Logic of Information Flows. ICDT 2021: 8:1-8:18 - [c106]Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche:
Expressiveness within Sequence Datalog. PODS 2021: 70-81 - [i36]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
SHACL: A Description Logic in Disguise. CoRR abs/2108.06096 (2021) - [i35]Thomas Delva, Anastasia Dimou, Maxime Jakubowski, Jan Van den Bussche:
Shape Fragments. CoRR abs/2112.11796 (2021) - 2020
- [j78]Jelle Hellings, Marc Gyssens, Yuqing Wu, Dirk Van Gucht, Jan Van den Bussche, Stijn Vansummeren, George H. L. Fletcher:
Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees. Inf. Syst. 89: 101467 (2020) - [c105]Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Heng Zhang, Xuanxing Yang, Zhiyong Feng:
On the Expressivity of ASK Queries in SPARQL. AAAI 2020: 3057-3064 - [c104]Robert Brijder, Marc Gyssens, Jan Van den Bussche:
On Matrices and K-Relations. FoIKS 2020: 42-57 - [c103]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Executable First-Order Queries in the Logic of Information Flows. ICDT 2020: 4:1-4:14 - [c102]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Inputs, Outputs, and Composition in the Logic of Information Flows. KR 2020: 2-11 - [c101]Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema:
Descriptive complexity of real computation and probabilistic independence logic. LICS 2020: 550-563 - [c100]Georg Gottlob, Jan Van den Bussche, Dirk Van Gucht:
2020 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2020: 17 - [i34]Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema:
Descriptive complexity of real computation and probabilistic independence logic. CoRR abs/2003.00644 (2020) - [i33]Jan Hidders, Jan Paredaens, Jan Van den Bussche:
J-Logic: a Logic for Querying JSON. CoRR abs/2006.04277 (2020)
2010 – 2019
- 2019
- [j77]Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht:
A framework for comparing query languages in their ability to express boolean queries. Ann. Math. Artif. Intell. 87(1-2): 157-184 (2019) - [j76]Dimitri Surinx, Jan Van den Bussche:
A monotone preservation result for Boolean queries expressed as a containment of conjunctive queries. Inf. Process. Lett. 150: 1-5 (2019) - [j75]Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag:
MATLANG: Matrix operations and their expressive power. SIGMOD Rec. 48(1): 60-67 (2019) - [j74]Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag:
On the Expressive Power of Query Languages for Matrices. ACM Trans. Database Syst. 44(4): 15:1-15:31 (2019) - [c99]Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche:
Additive First-Order Queries. ICDT 2019: 19:1-19:14 - [c98]Dimitri Surinx, Jan Van den Bussche, Jonni Virtema:
Fully Generic Queries: Open Problems and Some Partial Answers. MEDI 2019: 20-31 - [c97]Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema:
Descriptive Complexity of Deterministic Polylogarithmic Time. WoLLIC 2019: 208-222 - [i32]Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema:
Descriptive Complexity of Deterministic Polylogarithmic Time. CoRR abs/1903.03413 (2019) - [i31]Robert Brijder, Marc Gyssens, Jan Van den Bussche:
On matrices and K-relations. CoRR abs/1904.03934 (2019) - 2018
- [c96]Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Zhe Wang:
On the Satisfiability Problem of Patterns in SPARQL 1.1. AAAI 2018: 2054-2062 - [c95]Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema:
Expressivity Within Second-Order Transitive-Closure Logic. CSL 2018: 22:1-22:18 - [c94]Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht:
A Framework for Comparing Query Languages in Their Ability to Express Boolean Queries. FoIKS 2018: 360-378 - [c93]Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag:
On the Expressive Power of Query Languages for Matrices. ICDT 2018: 10:1-10:17 - [e4]Jan Van den Bussche, Marcelo Arenas:
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Houston, TX, USA, June 10-15, 2018. ACM 2018 [contents] - [i30]Jelle Hellings, Marc Gyssens, Yuqing Wu, Dirk Van Gucht, Jan Van den Bussche, Stijn Vansummeren, George H. L. Fletcher:
Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees. CoRR abs/1803.01390 (2018) - [i29]Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema:
Expressivity within second-order transitive-closure logic. CoRR abs/1804.05926 (2018) - [i28]Dimitri Surinx, Jan Van den Bussche:
A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries. CoRR abs/1808.08822 (2018) - 2017
- [c92]Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht:
The primitivity of operators in the algebra of binary relations under conjunctions of containments. LICS 2017: 1-10 - [c91]Jan Hidders, Jan Paredaens, Jan Van den Bussche:
J-Logic: Logical Foundations for JSON Querying. PODS 2017: 137-149 - [e3]Emanuel Sallinger, Jan Van den Bussche, Floris Geerts:
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017. ACM 2017, ISBN 978-1-4503-4198-1 [contents] - [i27]Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag:
On the expressive power of query languages for matrices. CoRR abs/1709.08359 (2017) - 2016
- [j73]Xiaowang Zhang, Jan Van den Bussche, François Picalausa:
On the Satisfiability Problem for SPARQL Patterns. J. Artif. Intell. Res. 56: 403-428 (2016) - [j72]Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein:
Putting logic-based distributed systems on stable grounds. Theory Pract. Log. Program. 16(4): 378-417 (2016) - [j71]Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche:
Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries. VLDB J. 25(3): 381-397 (2016) - [c90]Marcelo Arenas, Peter Buneman, Jan Van den Bussche:
2016 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2016: 11 - [i26]Tom J. Ameloot, Jan Van den Bussche:
Learning with Value-Ramp. CoRR abs/1608.03647 (2016) - 2015
- [j70]George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu:
The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs. Ann. Math. Artif. Intell. 73(1-2): 167-203 (2015) - [j69]Xiaowang Zhang, Jan Van den Bussche:
On the Power of SPARQL in Expressing Navigational Queries. Comput. J. 58(11): 2841-2851 (2015) - [j68]Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu:
Relative expressive power of navigational querying on graphs using transitive closure. Log. J. IGPL 23(5): 759-788 (2015) - [j67]George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu:
Relative expressive power of navigational querying on graphs. Inf. Sci. 298: 390-406 (2015) - [j66]Christophe Costa Florêncio, Jonny Daenen, Jan Ramon, Jan Van den Bussche, Dries Van Dyck:
Naive Infinite Enumeration of Context-free Languages in Incremental Polynomial Time. J. Univers. Comput. Sci. 21(7): 891-911 (2015) - [j65]George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. J. Log. Comput. 25(3): 549-580 (2015) - [j64]Tom J. Ameloot, Jan Van den Bussche:
Deciding Confluence for a Simple Class of Relational Transducer Networks. Theory Comput. Syst. 57(4): 1038-1111 (2015) - [j63]Tom J. Ameloot, Jan Van den Bussche:
Positive Neural Networks in Discrete Time Implement Monotone-Regular Behaviors. Neural Comput. 27(12): 2623-2660 (2015) - [j62]Natalia Kwasnikowska, Luc Moreau, Jan Van den Bussche:
A Formal Account of the Open Provenance Model. ACM Trans. Web 9(2): 10:1-10:44 (2015) - [c89]Jelle Hellings, Marc Gyssens, Yuqing Wu, Dirk Van Gucht, Jan Van den Bussche, Stijn Vansummeren, George H. L. Fletcher:
Relative expressive power of downward fragments of navigational query languages on trees and chains. DBPL 2015: 59-68 - [e2]Gustavo Alonso, Floris Geerts, Lucian Popa, Pablo Barceló, Jens Teubner, Martín Ugarte, Jan Van den Bussche, Jan Paredaens:
Proceedings of the 18th International Conference on Extending Database Technology, EDBT 2015, Brussels, Belgium, March 23-27, 2015. OpenProceedings.org 2015 [contents] - [i25]Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche:
Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries. CoRR abs/1503.01707 (2015) - [i24]Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein:
Putting Logic-Based Distributed Systems on Stable Grounds. CoRR abs/1507.05539 (2015) - [i23]Tom J. Ameloot, Jan Van den Bussche:
Convergence in Navigational Reinforcement Learning. CoRR abs/1511.08724 (2015) - 2014
- [j61]Xiaowang Zhang, Guohui Xiao, Zuoquan Lin, Jan Van den Bussche:
Inconsistency-tolerant reasoning with OWL DL. Int. J. Approx. Reason. 55(2): 557-584 (2014) - [j60]Xiaowang Zhang, Jan Van den Bussche:
On the primitivity of operators in SPARQL. Inf. Process. Lett. 114(9): 480-485 (2014) - [j59]Tom J. Ameloot, Jan Van den Bussche:
Positive Dedalus programs tolerate non-causality. J. Comput. Syst. Sci. 80(7): 1191-1213 (2014) - [j58]Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren:
Discovering XSD Keys from XML Data. ACM Trans. Database Syst. 39(4): 28:1-28:49 (2014) - [c88]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
Inference in the FO(C) Modelling Language. ECAI 2014: 111-116 - [i22]George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu:
Relative Expressive Power of Navigational Querying on Graphs. CoRR abs/1401.8201 (2014) - [i21]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
Inference in the FO(C) Modelling Language. CoRR abs/1404.6368 (2014) - [i20]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
FO(C) and Related Modelling Paradigms. CoRR abs/1404.6394 (2014) - [i19]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
FO(C): A Knowledge Representation Language of Causality. CoRR abs/1405.1833 (2014) - [i18]Tony Tan, Jan Van den Bussche, Xiaowang Zhang:
Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference. CoRR abs/1406.0349 (2014) - [i17]Xiaowang Zhang, Jan Van den Bussche:
On the satisfiability problem for SPARQL patterns. CoRR abs/1406.1404 (2014) - 2013
- [j57]Jan Hidders, Paolo Missier, Jacek Sroka, Jan Van den Bussche:
Preface. Fundam. Informaticae 128(3) (2013) - [j56]Tom J. Ameloot, Frank Neven, Jan Van den Bussche:
Relational transducers for declarative networking. J. ACM 60(2): 15:1-15:38 (2013) - [j55]Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche:
Graph-theoretic formalization of hybridization in DNA sticker complexes. Nat. Comput. 12(2): 223-234 (2013) - [c87]Xin Liang, Zuoquan Lin, Jan Van den Bussche:
Quantitatively Evaluating Formula-Variable Relevance by Forgetting. Canadian AI 2013: 271-277 - [c86]Natalia Kwasnikowska, Jan Van den Bussche:
Querying an Integrated Complex-Object Dataflow Database. In Search of Elegance in the Theory and Practice of Computation 2013: 400-417 - [c85]Jan Van den Bussche, Stijn Vansummeren:
Well-Defined NRC Queries Can Be Typed - (Extended Abstract). In Search of Elegance in the Theory and Practice of Computation 2013: 494-506 - [c84]Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche:
The DNA query language DNAQL. ICDT 2013: 1-9 - [c83]Jelle Hellings, Bart Kuijpers, Jan Van den Bussche, Xiaowang Zhang:
Walk logic as a framework for path query languages on graph databases. ICDT 2013: 117-128 - [c82]Tom J. Ameloot, Jan Van den Bussche, Emmanuel Waller:
On the expressive power of update primitives. PODS 2013: 139-150 - [c81]Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren:
Discovering XSD keys from XML data. SIGMOD Conference 2013: 61-72 - 2012
- [j54]Michal Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche:
The Navigational Power of Web Browsers. Theory Comput. Syst. 50(2): 213-240 (2012) - [j53]Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche:
A comparison of graph-theoretic DNA hybridization models. Theor. Comput. Sci. 429: 46-53 (2012) - [c80]Tom J. Ameloot, Jan Van den Bussche:
On the CRON Conjecture. Datalog 2012: 44-55 - [c79]Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche:
A Type System for DNAQL. DNA 2012: 12-24 - [c78]George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu:
The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs. FoIKS 2012: 124-143 - [c77]Tom J. Ameloot, Jan Van den Bussche:
Deciding eventual consistency for a simple class of relational transducer networks. ICDT 2012: 86-98 - [i16]George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. CoRR abs/1210.2688 (2012) - 2011
- [j52]Luc Moreau, Ben Clifford, Juliana Freire, Joe Futrelle, Yolanda Gil, Paul Groth, Natalia Kwasnikowska, Simon Miles, Paolo Missier, <