Search results for "fragments"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Alexander Dreweke, Marc Wörlein, Ingrid Fischer, Dominic Schell, Thorsten Meinl, Michael Philippsen	Graph-Based Procedural Abstraction.	CGO	2007	DBLP DOI BibTeX RDF
18	Salvatore La Torre, Gennaro Parlato	On the Complexity of LtlModel-Checking of Recursive State Machines.	ICALP	2007	DBLP DOI BibTeX RDF
18	Alessandro Ferrante, Aniello Murano	Enriched µ-Calculi Module Checking.	FoSSaCS	2007	DBLP DOI BibTeX RDF
18	Edgar H. de Graaf, Joost N. Kok, Walter A. Kosters	Clustering Improves the Exploration of Graph Mining Results.	AIAI	2007	DBLP DOI BibTeX RDF
18	Alexandru Berlea	On-the-fly tuple selection for XQuery.	XIME-P	2007	DBLP DOI BibTeX RDF
18	Linh Anh Nguyen	Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity.	ICLP	2007	DBLP DOI BibTeX RDF
18	Duy-Dinh Le, Shin'ichi Satoh 0001	National institute of informatics, japan at TRECVID 2007: BBC rushes summarization.	TVS	2007	DBLP DOI BibTeX RDF	rushes content, video summarization, video skimming
18	Stefan Andrei, Albert M. K. Cheng	Verifying Linear Real-Time Logic Specifications.	RTSS	2007	DBLP DOI BibTeX RDF
18	Hisham M. Almasaeid, Ahmed E. Kamal 0001	Data delivery in fragmented wireless sensor networks using mobile agents.	MSWiM	2007	DBLP DOI BibTeX RDF	wireless sensor networks, mobile agents, closed queueing networks
18	Loredana M. Genovese, Filippo Geraci, Marco Pellegrini 0001	A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps, High Reading Error Rate and Low Coverage.	WABI	2007	DBLP DOI BibTeX RDF
18	Juan C. García-Ojeda, Scott A. DeLoach, Robby, Walamitien H. Oyenan, Jorge L. Valenzuela	O-MaSE: A Customizable Approach to Developing Multiagent Development Processes.	AOSE	2007	DBLP DOI BibTeX RDF
18	Marnie Feneley, Tom Chandler, Nils Gleissenberger, Ben Alexander	Reconstructing the West Mebon Vishnu: A Marriage of Traditional Artefactual Analysis with Digital 3D Visualization.	VSMM	2007	DBLP DOI BibTeX RDF	Angkor, West Mebon Vishnu, 3D modelling, Virtual Heritage, Virtual Archaeology
18	Lei Zhang, Jogesh K. Muppala, Wanqing Tu	Exploiting Proximity in Cooperative Download of Large Files in Peer-to-Peer Networks.	ICIW	2007	DBLP DOI BibTeX RDF
18	Qi-Xing Huang, Simon Flöry, Natasha Gelfand, Michael Hofer, Helmut Pottmann	Reassembling fractured objects by geometric matching.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	3D puzzle, feature-based registration, geometric matching, integral invariants, non-penetrating alignment
18	Martin Karresand, Nahid Shahmehri	Oscar - File Type Identification of Binary Data in Disk Clusters and RAM Pages.	SEC	2006	DBLP DOI BibTeX RDF
18	Xifeng Yan, Feida Zhu 0001, Jiawei Han 0001, Philip S. Yu	Searching Substructures with Superimposed Distance.	ICDE	2006	DBLP DOI BibTeX RDF
18	Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi	The Complexity of Enriched µ-Calculi.	ICALP (2)	2006	DBLP DOI BibTeX RDF
18	Ernesto Jiménez-Ruiz, Rafael Berlanga Llavori, Ismael Sanz, Richard McClatchey, Roxana Dánger, David Manset, Jordi Paraire, Alfonso Rios	The Management and Integration of Biomedical Knowledge: Application in the Health-e-Child Project (Position Paper).	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF	Vertical Knowledge Integration, Ontology Views, Semantic Bridges, Approximate Queries
18	Yu-Kuo Tseng, You-Yi Lu, Jen-Yi Huang, Wen-Shyong Hsieh, Bao Rong Chang, Yu-Chang Chen, Shi-Huang Chen	ID-Based PPM for IP Traceback.	ICICIC (2)	2006	DBLP DOI BibTeX RDF	Network Security, DDoS, IP traceback, PPM
18	Julien Vilz, Anne-France Brogneaux, Ravi Ramdoyal, Vincent Englebert, Jean-Luc Hainaut	Data Conceptualisation for Web-Based Data-Centred Application Design.	CAiSE	2006	DBLP DOI BibTeX RDF
18	Marc Gyssens, Jan Paredaens, Dirk Van Gucht, George H. L. Fletcher	Structural characterizations of the semantics of XPath as navigation tool on a document.	PODS	2006	DBLP DOI BibTeX RDF	XPath, expressibility, definability
18	Thijs Westerveld, Roelof van Zwol	Benchmarking multimedia search in structured collections.	Multimedia Information Retrieval	2006	DBLP DOI BibTeX RDF	benchmarking, multimedia retrieval, XML retrieval, INEX
18	Philip C. Igwe, Archana P. Sangole, George K. Knopf	Shape Morphing and Reconstruction Using A Self-Organizing Feature Map.	IJCNN	2006	DBLP DOI BibTeX RDF
18	Anat Levin, Yair Weiss	Learning to Combine Bottom-Up and Top-Down Segmentation.	ECCV (4)	2006	DBLP DOI BibTeX RDF
18	Andreas Opelt, Axel Pinz, Andrew Zisserman	A Boundary-Fragment-Model for Object Detection.	ECCV (2)	2006	DBLP DOI BibTeX RDF
18	Lingbo Kong, Shiwei Tang, Dongqing Yang, Tengjiao Wang 0003, Jun Gao 0003	No Tag, a Little Nesting, and Great XML Keyword Search.	AIRS	2006	DBLP DOI BibTeX RDF
18	Ho Seok Moon, Myoungho Oh	An Expert System for Recovering Broken Relics Using 3-D Information.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
18	Brett H. Meyer, Joshua J. Pieper, JoAnn M. Paul, Jeffrey E. Nelson, Sean M. Pieper, Anthony G. Rowe	Power-Performance Simulation and Design Strategies for Single-Chip Heterogeneous Multiprocessors.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	performance analysis, low-power design, power management, System architectures, energy-aware systems, integration and modeling, design aids
18	Joseph S. Miller, Lawrence S. Moss	The Undecidability of Iterated Modal Relativization.	Stud Logica	2005	DBLP DOI BibTeX RDF	iterated relativization, modal logic, undecidability, Dynamic epistemic logic
18	Song Wang 0002, Toshiro Kubota, Jeffrey Mark Siskind, Jun Wang	Salient Closed Boundary Extraction with Ratio Contour.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
18	Antti Ukkonen, Mikael Fortelius, Heikki Mannila	Finding partial orders from unordered 0-1 data.	KDD	2005	DBLP DOI BibTeX RDF	hidden ordering, partial order, consecutive ones property
18	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	PODS	2005	DBLP DOI BibTeX RDF
18	Christopher Wilks, Sami Khuri	A Fast Shotgun Assembly Heuristic.	CSB Workshops	2005	DBLP DOI BibTeX RDF
18	Pascal Wehrle, Maryvonne Miquel, Anne Tchounikine	A Model for Distributing and Querying a Data Warehouse on a Computing Grid.	ICPADS (1)	2005	DBLP DOI BibTeX RDF
18	Floris Geerts, Wenfei Fan	Satisfiability of XPath Queries with Sibling Axes.	DBPL	2005	DBLP DOI BibTeX RDF
18	Chia-Hsin Huang, Tyng-Ruey Chuang, Hahn-Ming Lee	Prefiltering techniques for efficient XML document processing.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	two-phased XML processing model, DOM, SAX, structural query, prefiltering
18	Nicolas Markey	Past is for free: on the complexity of verifying linear temporal properties with past.	Acta Informatica	2004	DBLP DOI BibTeX RDF
18	Maria Faraklioti, Maria Petrou	Horizon picking in 3D seismic data volumes.	Mach. Vis. Appl.	2004	DBLP DOI BibTeX RDF	3D seismic data, Horizon picking, Surface detection
18	Iosif Antochi, Ben H. H. Juurlink, Stamatis Vassiliadis, Petri Liuha	GraalBench: a 3D graphics benchmark suite for mobile phones.	LCTES	2004	DBLP DOI BibTeX RDF	3D graphics benchmarking, embedded 3D graphics architectures
18	Daniel Brodie, Amrish Gupta, Weisong Shi	Keyword-based fragement detection for dynamic web content delivery.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	dynamic web content delivery, fragment detection
18	Philip Brisk, Ani Nahapetian, Majid Sarrafzadeh	Instruction Selection for Compilers that Target Architectures with Echo Instructions.	SCOPES	2004	DBLP DOI BibTeX RDF
18	Hyoseop Shin, Andrei V. Popov	A Lightweight XML Repository Supporting Dynamic Partial Update of XML Data.	DASFAA	2004	DBLP DOI BibTeX RDF
18	Siegfried Nijssen, Joost N. Kok	Frequent graph mining and its application to molecular databases.	SMC (5)	2004	DBLP DOI BibTeX RDF
18	Oriel Bergig, Danny Barash, Klara Kedem	RNA Motif Search Using the Structure to String (STR2) Method.	CSB	2004	DBLP DOI BibTeX RDF
18	Maulik K. Shah, Hojoon Lee, Stephanie A. Rogers, Jeffrey W. Touchman	An Exhaustive Genome Assembly Algorithm Using K-Mers to Indirectly Perform N-Squared Comparisons in O(N).	CSB	2004	DBLP DOI BibTeX RDF
18	Daniel Brodie, Amrish Gupta, Weisong Shi	Accelerating Dynamic Web Content Delivery Using Keyword-Based Fragment Detection.	ICWE	2004	DBLP DOI BibTeX RDF
18	Chun Yi Choi, Qiong Luo 0001	Template-Based Runtime Invalidation for Database-Generated Web Contents.	APWeb	2004	DBLP DOI BibTeX RDF
18	Hui Zhang 0003, Frank Wm. Tompa	Querying XML documents by dynamic shredding.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	dynamic shredding, text ADT, XML, XQuery, relational algebra
18	Fang-Xiang Wu, Wen-Jun Zhang 0001, Anthony J. Kusalik	An Algorithm to Reconstruct a Target DNA Sequence from Its Spectrum Connected at a Given Level.	BIBE	2003	DBLP DOI BibTeX RDF
18	Maria Faraklioti, Maria Petrou	Horizon picking in 3D Seismic Images.	SCIA	2003	DBLP DOI BibTeX RDF
18	Markus Schordan, Daniel J. Quinlan	A Source-to-Source Architecture for User-Defined Optimizations.	JMLC	2003	DBLP DOI BibTeX RDF
18	Qiang Wu 0001, Xiangjian He, Tom Hintz, Yuhuang Ye	Complete Image Partitioning on Spiral Architecture.	ISPA	2003	DBLP DOI BibTeX RDF
18	Mohamed Ibrahim Abouelhoda, Enno Ohlebusch	A Local Chaining Algorithm and Its Applications in Comparative Genomics.	WABI	2003	DBLP DOI BibTeX RDF
18	Sujoe Bose, Leonidas Fegaras, David Levine, Vamsi Chaluvadi	A Query Algebra for Fragmented XML Stream Data.	DBPL	2003	DBLP DOI BibTeX RDF
18	Meng Zhang 0006, Jiubin Ju	Space-Economical Reassembly for Intrusion Detection System.	ICICS	2003	DBLP DOI BibTeX RDF
18	Jörg Flum, Markus Frick, Martin Grohe	Query evaluation via tree-decompositions.	J. ACM	2002	DBLP DOI BibTeX RDF	Acyclic conjunctive queries, combined complexity, hypergraphs, monadic second-order logic, tree-width
18	Leonidas Fegaras, David Levine, Sujoe Bose, Vamsi Chaluvadi	Query processing of streamed XML data.	CIKM	2002	DBLP DOI BibTeX RDF	XML, databases, query processing, query optimization
18	Davide Ancona, Giovanni Lagorio, Elena Zucca	A Formal Framework for Java Separate Compilation.	ECOOP	2002	DBLP DOI BibTeX RDF
18	Tomoko Matsumura, Akito Monden, Ken-ichi Matsumoto	The Detection of Faulty Code Violating Implicit Coding Rules.	ISESE	2002	DBLP DOI BibTeX RDF
18	Georgios Papaioannou 0001, Evaggelia-Aggeliki Karabassi, Theoharis Theoharis	Virtual Archaeologist: Assembling the Past.	IEEE Computer Graphics and Applications	2001	DBLP DOI BibTeX RDF	3D matching, global optimization, restoration, depth buffer
18	Abdullah N. Arslan, Ömer Egecioglu, Pavel A. Pevzner	A new approach to sequence comparison: normalized sequence alignment.	RECOMB	2001	DBLP DOI BibTeX RDF
18	John D. Kececioglu, Jun Ju	Separtating repeats in DNA sequence assembly.	RECOMB	2001	DBLP DOI BibTeX RDF	disambiguating repeats, shotgun sequencing, computational biology, k-median problem
18	Jörg Flum, Markus Frick, Martin Grohe	Query Evaluation via Tree-Decompositions.	ICDT	2001	DBLP DOI BibTeX RDF
18	Dieter Bühler, Wolfgang Küchlin	Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection.	IEA/AIE	2001	DBLP DOI BibTeX RDF
18	Saumya K. Debray, William S. Evans, Robert Muth, Bjorn De Sutter	Compiler techniques for code compaction.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	code compression, code size reduction, code compaction
18	Kien A. Hua, Wallapak Tavanapong, James Zijun Wang	2PSM: An Efficient Framework for Searching Video Information in a Limited-Bandwidth Environment.	Multim. Syst.	1999	DBLP DOI BibTeX RDF	VCR-style interaction, World Wide Web, Video on demand, Data organization, Video library, Previewing
18	Sophia Drossopoulou, Susan Eisenbach, David Wragg	A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility.	LICS	1999	DBLP DOI BibTeX RDF
18	Helena Ahonen, Barbara Heikkinen, Oskari Heinonen, Pekka Kilpeläinen	Assembling Documents from Digital Libraries.	DEXA	1997	DBLP DOI BibTeX RDF
18	Shashi Shekhar, Andrew Fetterer, Bjajesh Goyal	Materialization Trade-Offs in Hierarchical Shortest Path Algorithms.	SSD	1997	DBLP DOI BibTeX RDF
18	Tatsuya Akutsu, Kentaro Onizuka, Masato Ishikawa	New hashing techniques and their application to a protein structure database system.	HICSS (5)	1995	DBLP DOI BibTeX RDF	protein structure database system, hash vector, fixed length fragment, three dimensional protein structure, true hash vectors, root mean square deviation, PDB data, PROTEIX, database management systems, database management system, file organisation, biology computing, proteins, protein structures, structural similarity, molecular configurations, molecular biophysics, hashing techniques
18	Paul De Bra, Jan Paredaens	Removing Redundancy and Updating Databases.	ICDT	1990	DBLP DOI BibTeX RDF
18	Jean-Pierre Banâtre, Michel Banâtre, P. Lecler, Florimond Ployette, P. Le Certen	Fragmented and replicated objects in the GOTHIC distributed system.	ACM SIGOPS European Workshop	1988	DBLP DOI BibTeX RDF	Fragmented objects, distributed systems, parallelism, object-oriented language, protection
18	Rolf Bahlke, Gregor Snelting	The PSG System: From Formal Language Definitions to Interactive Programming Environments.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
18	Greg Abram, Lee Westover	Efficient alias-free rendering using bit-masks and look-up tables.	SIGGRAPH	1985	DBLP DOI BibTeX RDF	image synthesis, anti-aliasing
18	Non Yok, Gail Rosen	Comparison of Gene Prediction Programs for Metagenomic Data.	BIBE	2010	DBLP DOI BibTeX RDF	Orphelia, MGA, GeneMark, specificity, error, sensitivity, fragments, Metagenomic
18	Gilleanes Thorwald Araujo Guedes, Rosa Maria Vicari	Applying AUML and UML 2 in the Multi-agent Systems Project.	ER Workshops	2009	DBLP DOI BibTeX RDF	UML 2, Use Case Diagram, Internal Use Cases, Combined Fragments, State Machine Diagram, Composite States, Activity Partition, Agents, Actors, Sequence Diagram, Activity Diagram, AUML
18	Victor E. Malyshkin, Sergey B. Sorokin, Ksenia G. Chajuk	Fragmentation of Numerical Algorithms for the Parallel Subroutines Library.	PaCT	2009	DBLP DOI BibTeX RDF	Asynchronous programming, fragments based programming, dynamic programs’ properties, parallel program, numerical algorithm
18	Andreas Braun 0001, Pascal Hamisu	Using the human body field as a medium for natural interaction.	PETRA	2009	DBLP DOI BibTeX RDF	filters and interaction techniques, proximity sensors, fragments, human-centered computing
18	Amélie Gheerbrant, Balder ten Cate	Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees.	LFCS	2009	DBLP DOI BibTeX RDF	Fragments of MSO, Henkin semantics, Ehrenfeucht-Fraïssé games, Feferman-Vaught theorems, Trees, Axiomatizations
18	Po-Cheng Chen, Jyh-Biau Chang, Jia-Hao Yang, Yi-Chang Zhuang, Ce-Kuen Shieh	Spigot: Fragment-Level File Sharing and Consistency on Grids.	AINA	2009	DBLP DOI BibTeX RDF	On-demand Access, File Fragments, Teamster-G, Distributed Shared Memory, Data Grid
18	Pietro di Lena, Luciano Margara, Marco Vassura, Piero Fariselli, Rita Casadio	A New Protein Representation Based on Fragment Contacts: Towards an Improvement of Contact Maps Predictions.	CIBB	2008	DBLP DOI BibTeX RDF	Protein contacts, coarse-grained contact maps, protein fragments, protein structures
18	Bernd Heisele, Thomas Serre, Tomaso A. Poggio	A Component-based Framework for Face Detection and Identification.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	face recognition, object recognition, components, face detection, object detection, fragments, hierarchical classification, machines, support vector, face identification, parts
18	Clare Dixon, Michael Fisher 0001, Boris Konev	Is There a Future for Deductive Temporal Verification?	TIME	2006	DBLP DOI BibTeX RDF	fragments of PTL, deductive verification, clausal temporal resolution, complexity
18	Ivar Jacobson	Use cases - Yesterday, today, and tomorrow.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Use case driven development, History of use cases, Extension use cases, Inclusion use cases, Roles of use cases, Use cases are early aspects, Use case fragments, Use case
18	Morteza Moniri	Intuitionistic weak arithmetic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Fragments of Heyting Arithmetic, exp, Kripke Models
18	Dimitris Margaritis 0001, Steven Skiena	Reconstructing Strings from Substrings in Rounds.	FOCS	1995	DBLP DOI BibTeX RDF	string reconstruction, combinatorial bounds, substring queries, sequencing by hybridization, oligonucleotides, de novo sequencing, large DNA fragments, SBH, interaction, parallelism, pattern matching, string matching, DNA, biology computing, rounds, substrings
18	David Lorge Parnas, Jan Madey, Michal Iglewski	Precise Documentation of Well-Structured Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	precise documentation, well-structured programs, program fragments, reference document, functional approach, program documentation, tabular form, software engineering, formal specification, specification, software maintenance, software maintenance, program verification, program verification, displays, software inspection, index, structured programming, lexicon, system documentation, program correctness
18	Menkae Jeng, Howard Jay Siegel	A Distributed Management Scheme for Partitionable Parallel Computers.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	distributed splitting process, speed-up oriented, resource fragments, distributed combining process, throughput oriented, distributed management scheme, partitionable parallel computers, multistage cube, extra-stage cube networks, computational complexity, parallel computation, interconnection networks, parallel architectures, hypercube, multiprocessor interconnection networks, correctness, task allocation, omega, PASM, dynamic partitioning
13	Vaclav Nezerka, T. Zbíral, Jan Trejbal	Machine-learning-assisted classification of construction and demolition waste fragments using computer vision: Convolution versus extraction of selected features.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
13	Yong'an Zhou, Yukai Yi, Jianhui Li, Xiangyun Hu	Response Characteristics of Transient Electromagnetic Methods for Unexploded Ordnances Considering Metal Shell Thickness and Shell Fragments.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
13	Di Wu 0014, Yang Feng, Hongyu Zhang 0002, Baowen Xu	Automatic recognizing relevant fragments of APIs using API references.	Autom. Softw. Eng.	2024	DBLP DOI BibTeX RDF
13	Frédéric Célerse, Matthew D. Wodrich, Sergi Vela, Simone Gallarati, Raimon Fabregat, Veronika Jurásková, Clémence Corminboeuf	From Organic Fragments to Photoswitchable Catalysts: The OFF-ON Structural Repository for Transferable Kernel-Based Potentials.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
13	Pierre J. Walker, Andrés Riedemann, Zhen-Gang Wang	GCIdentifier.jl: A Julia package for identifying molecular fragments from SMILES.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
13	Ritam Raha, Rajarshi Roy 0002, Nathanaël Fijalkow, Daniel Neider	Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
13	Geetha Pavani Pappu, Prashanth Gowri Shankar Uppudi, Birendra Biswal, Srinivasa Rao Kandula, Meher Savedasa Dhavala, Giri Madhav Potturi, Paila Sai Sharat, Sridevi Polapragada, Nagadhara Harini Datti	Shell-Net: A robust deep neural network for the joint segmentation of retinal fragments.	Int. J. Imaging Syst. Technol.	2024	DBLP DOI BibTeX RDF
13	Desmond Lau	Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation.	CoRR	2024	DBLP DOI BibTeX RDF
13	Luca Geatti, Alessio Mansutti, Angelo Montanari	Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version).	CoRR	2024	DBLP DOI BibTeX RDF
13	Renaud Vilmart	Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
13	Teruyuki Yorioka	Two chain conditions and their Todorčević's fragments of Martin's Axiom.	Ann. Pure Appl. Log.	2024	DBLP DOI BibTeX RDF
13	Joan Bagaria	The relative strengths of fragments of Martin's axiom.	Ann. Pure Appl. Log.	2024	DBLP DOI BibTeX RDF