Search results for "Categorical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Keke Chen, Ling Liu 0001	"Best K": critical clustering structures in categorical datasets.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Categorical data clustering, Entropy, Cluster validation
88	Antonio R. Garzón, A. del Río	Equivariant Extensions of Categorical Groups.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	monoidal groupoid, graded categorical group, equivariant cohomology, groups with operators, obstruction, extensions
88	Pilar Carrasco, Antonio R. Garzón	Obstruction Theory for Extensions of Categorical Groups.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	categorical group, abstract kernel, obstruction, extension, cohomology
81	Anirban Mukhopadhyay 0001, Ujjwal Maulik	Multiobjective approach to categorical data clustering.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
67	Nikos Sarkas, Gautam Das 0001, Nick Koudas, Anthony K. H. Tung	Categorical skylines for streaming data.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	data stream, categorical, partial order, skyline
65	Pilar Carrasco, Juan Martínez-Moreno	Simplicial Cohomology with Coefficients in Symmetric Categorical Groups.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	categorical groups, simplicial set, nerve, homotopy classes, cohomology
63	Si Quang Le, Tu Bao Ho	A Conditional Probability Distribution-Based Dissimilarity Measure for Categorial Data.	PAKDD	2004	DBLP DOI BibTeX RDF	hypothesis testing, conditional probability, categorical data, Dissimilarity measures
59	Keke Chen, Ling Liu 0001	HE-Tree: a framework for detecting changes in clustering structure for categorical data streams.	VLDB J.	2009	DBLP DOI BibTeX RDF	Categorical data clustering, Change detection, Data stream mining
59	Eman Abdu, Douglas Salane	A spectral-based clustering algorithm for categorical data using data summaries.	KDD Workshop on Data Mining using Matrices and Tensors	2009	DBLP DOI BibTeX RDF	spectral algorithms, categorical data
59	Fabian Bendix, Robert Kosara, Helwig Hauser	Parallel Sets: Visual Analysis of Categorical Data.	INFOVIS	2005	DBLP DOI BibTeX RDF	meta information, interaction, categorical data
58	Sara Johansson 0001	Visual exploration of categorical and mixed data sets.	KDD Workshop on Visual Analytics and Knowledge Discovery	2009	DBLP DOI BibTeX RDF
58	Manuel Bodirsky	The Core of a Countably Categorical Structure.	STACS	2005	DBLP DOI BibTeX RDF
57	Antonio Martínez Cegarra, Antonio R. Garzón	Homotopy Classification of Categorical Torsors.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	categorical group, small category, torsor, classifying space, homotopy classes
55	Heesoo Kim, Shaowen Bao	Distributed representation of perceptual categories in the auditory cortex.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Categorical perception, Sensory cortex, Learning
55	A. Monadi, Louis D. Nel	Holomorphy in convergence spaces.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Infinite dimensional holomorphy, closed-embedded linear convergence spaces, categorical methods, categorical differentiation theory, analyte
51	James D. McCaffrey	An Empirical Study of Categorical Dataset Visualization Using a Simulated Bee Colony Clustering Algorithm.	ISVC (1)	2009	DBLP DOI BibTeX RDF	category utility, simulated bee colony algorithm, cluster analysis, data visualization, Categorical data
51	Qingquan Wang, Lili Rong, Kai Yu	Towards a Categorical Matching Method to Process High-Dimensional Emergency Knowledge Structures.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Matching Method, Categorical Knowledge Structure, Category Theory, semantic information, High-dimensions
51	Zhiyong Shen, Jun Sun, Yi-Dong Shen, Ming Li	R-Map: Mapping Categorical Data for Clustering and Visualization Based on Reference Sets.	PAKDD	2008	DBLP DOI BibTeX RDF	Clustering, Data mapping, Categorical data
51	Daniele Micci-Barreca	A Preprocessing Scheme for High-Cardinality Categorical Attributes in Classification and Prediction Problems.	SIGKDD Explor.	2001	DBLP DOI BibTeX RDF	categorical attributes, hierarchical attributes, neural networks, predictive models, empirical bayes
50	Dino Ienco, Ruggero G. Pensa, Rosa Meo	Context-Based Distance Learning for Categorical Data Clustering.	IDA	2009	DBLP DOI BibTeX RDF
50	Sangkyum Kim, Jaebum Kim, Younhee Ko, Seung-won Hwang, Jiawei Han 0001	PerRank: Personalized Rank Retrieval with Categorical and Numerical Attributes.	WAIM	2008	DBLP DOI BibTeX RDF
50	Katsuhiro Honda, Ryo Uesugi, Hidetomo Ichihashi, Akira Notsu	Linear Fuzzy Clustering of Mixed Databases Based on Cluster-wise Optimal Scaling of Categorical Variables.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
50	Chung-Chian Hsu	Generalizing self-organizing map for categorical data.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
50	Periklis Andritsos, Panayiotis Tsaparas, Renée J. Miller, Kenneth C. Sevcik	LIMBO: Scalable Clustering of Categorical Data.	EDBT	2004	DBLP DOI BibTeX RDF
50	Isar Stubbe	Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	quantaloid, ordered sheaf, enriched categorical structure, Cauchycompletion, locale, quantale
49	Julia Padberg	Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68Q85, 18A99, 68Q42
49	Hartmut Ehrig, Michael Löwe	Categorical principles, techniques and results for high-level-replacement systems in computer science.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Formal languages/grammars, special categories, formal systems
43	Kousuke Shiraishi, Kazuo Misue, Jiro Tanaka	A Tool for Analyzing Categorical Data Visually with Granular Representation.	HCI (9)	2009	DBLP DOI BibTeX RDF	multi-dimensional analysis, visualization, categorical data
43	Jeong-Hoon Lee, Yoon-Joon Lee, Minho Park	Clustering with Domain Value Dissimilarity for Categorical Data.	ICDM	2009	DBLP DOI BibTeX RDF	Domain Value, Data Mining, Clustering, Similarity, Categorical Data, Co-occurrence, Dissimilarity
43	Guofeng Cao, Phaedon C. Kyriakidis, Michael F. Goodchild	Prediction and simulation in categorical fields: a transition probability combination approach.	GIS	2009	DBLP DOI BibTeX RDF	tau model, categorical data, conditional independence
43	Hee-Jung Do, Jae-Yearn Kim	Categorical Data Clustering Using the Combinations of Attribute Values.	ICCSA (2)	2008	DBLP DOI BibTeX RDF	Categorical clustering, Attribute value sets, Data mining
43	Eréndira Rendón, J. Salvador Sánchez 0001, René Arnulfo García-Hernández, Itzel Abundez Barrera, Citlalih Gutierrez Estrada, Eduardo Gasca	Data Reduction Method for Categorical Data Clustering.	IBERAMIA	2008	DBLP DOI BibTeX RDF	Categorical Attributes, K-modes Clustering Algorithm, Reduced database
43	Zhihua Cai, Dianhong Wang, Liangxiao Jiang	K-Distributions: A New Algorithm for Clustering Categorical Data.	ICIC (2)	2007	DBLP DOI BibTeX RDF	K-modes, categorical data sets, log likelihood, clustering, K-means, K-distributions
43	Barry Boots, Ferko Csillag	Categorical maps, comparisons, and confidence.	J. Geogr. Syst.	2006	DBLP DOI BibTeX RDF	Categorical maps, Map comparison, Inference, Stochastic processes, Change detection, Spatial pattern, Accuracy assessment
43	Jianyong Wang 0001, George Karypis	On efficiently summarizing categorical databases.	Knowl. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Categorical database, Data mining, Clustering, Frequent itemset
43	Robert Kosara, Fabian Bendix, Helwig Hauser	Parallel Sets: Interactive Exploration and Visual Analysis of Categorical Data.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	nominal data, interaction, Information visualization, categorical data, multivariate data
43	Hung-Leng Chen, Kun-Ta Chuang, Ming-Syan Chen	Labeling Unclustered Categorical Data into Clusters Based on the Important Attribute Values.	ICDM	2005	DBLP DOI BibTeX RDF	categorical clustering, data mining, data labeling
43	Vicenç Torra	Microaggregation for Categorical Variables: A Median Based Approach.	Privacy in Statistical Databases	2004	DBLP DOI BibTeX RDF	Masking methods, Clustering, Privacy preserving data mining, Data protection, Categorical data, Microaggregation
43	Nguyen Thi Minh Hai, Susumu Horiguchi	Performances of Parallel Clustering Algorithm for Categorical and Mixed Data.	PDCAT	2004	DBLP DOI BibTeX RDF	clustering, parallel algorithm, very large databases, categorical data, mixed data
42	Sankaranarayanan Ananthakrishnan, Shrikanth S. Narayanan	Unsupervised Adaptation of Categorical Prosody Models for Prosody Labeling and Speech Recognition.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
42	Sara Johansson 0001, Mikael Jern, Jimmy Johansson 0001	Interactive Quantification of Categorical Variables in Mixed Data Sets.	IV	2008	DBLP DOI BibTeX RDF
42	Bill Andreopoulos, Aijun An, Xiaogang Wang 0007	Hierarchical Density-Based Clustering of Categorical Data and a Simplification.	PAKDD	2007	DBLP DOI BibTeX RDF
42	Julia Couto 0001	Kernel K-Means for Categorical Data.	IDA	2005	DBLP DOI BibTeX RDF
42	Diane J. Schiano, Sheryl M. Ehrlich, Kyle Sheridan	Categorical imperative NOT: facial affect is perceived continuously.	CHI	2004	DBLP DOI BibTeX RDF	facial affect, facial expression of emotion, naturalistic computing, emotion, affective computing, avatars, video compression, affect, face, nonverbal communication, VMC
42	Christopher R. Palmer, Christos Faloutsos	Electricity Based External Similarity of Categorical Attributes.	PAKDD	2003	DBLP DOI BibTeX RDF
41	Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter	Relating Categorical Semantics for Intuitionistic Linear Logic.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	intuitionistic linear logic, symmetric monoidal closed categories, symmetric monoidal adjunctions, typed lambda calculus
41	Julia Padberg	Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	high-level replacement systems, Petri net transformations, horizontal structuring, refinement, graph transformations
40	Gabriela Moise, Jörg Sander 0001, Martin Ester	Robust projected clustering.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Clustering numerical and categorical data, Subspace clustering, Projected clustering
40	Michael K. Ng 0001, Mark Junjie Li, Joshua Zhexue Huang, Zengyou He	On the Impact of Dissimilarity Measure in k-Modes Clustering Algorithm.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	k-modes algorithm, Data mining, clustering, categorical data
39	Aïda Valls, Cristina Gómez-Alonso, Vicenç Torra	Generation of Prototypes for Masking Sequences of Events.	ARES	2009	DBLP DOI BibTeX RDF
39	Manuel Bodirsky, Martin Grohe	Non-dichotomies in Constraint Satisfaction Complexity.	ICALP (2)	2008	DBLP DOI BibTeX RDF
39	Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu	Computable Categoricity of Graphs with Finite Components.	CiE	2008	DBLP DOI BibTeX RDF
39	Tiziana Ligorio, Susan L. Epstein	Partial Redundant Modeling.	CP	2005	DBLP DOI BibTeX RDF
39	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints
39	Louis D. Nel	Differential calculus founded on an isomorphism.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Categorical methods, differential calculus, differentiation theory, foundational isomorphism
37	Ralf Schweimeier	A categorical framework for typing CCS-style process communication.	Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR	2002	DBLP DOI BibTeX RDF
36	Kazuyo Narita, Hiroyuki Kitagawa	Detecting Outliers in Categorical Record Databases Based on Attribute Associations.	APWeb	2008	DBLP DOI BibTeX RDF	categorical record data, association rules, outlier detection
36	Shu Wu, Qingshan Jiang, Joshua Zhexue Huang	A New Initialization Method for Clustering Categorical Data.	PAKDD	2007	DBLP DOI BibTeX RDF	Categorical attribute, Initialization method, Data mining, Cluster analysis, Partitional clustering
36	Aida Nemalhabib, Nematollaah Shiri	CLUC: a natural clustering algorithm for categorical datasets based on cohesion.	SAC	2006	DBLP DOI BibTeX RDF	clustering, scalability, similarity, categorical data
36	Radu Sion, Mikhail J. Atallah, Sunil Prabhakar	Rights Protection for Categorical Data.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	Rights protection, watermarking, information hiding, categorical data, relational data
36	Mohammed Javeed Zaki, Markus Peters, Ira Assent, Thomas Seidl 0001	CLICKS: an effective algorithm for mining subspace clusters in categorical datasets.	KDD	2005	DBLP DOI BibTeX RDF	k-partite graph, data mining, clustering, categorical data, maximal cliques
36	Guojun Gan, Jianhong Wu	Subspace clustering for high dimensional categorical data.	SIGKDD Explor.	2004	DBLP DOI BibTeX RDF	clustering, subspace clustering, categorical data
36	Weiyun Huang, Edward Omiecinski, Leo Mark	Compression schemes for differential categorical stream clustering.	CIKM	2004	DBLP DOI BibTeX RDF	compression schemes, stream, categorical, differential
36	Ben Shneiderman, David Feldman, Anne Rose, Xavier Ferré Grau	Visualizing digital library search results with categorical and hierarchical axes.	ACM DL	2000	DBLP DOI BibTeX RDF	categorical axes, hieraxes, information visualization, digital libraries, graphical user interfaces, hierarchy
34	Amir Ahmad, Gavin Brown 0001	Random Ordinality Ensembles A Novel Ensemble Method for Multi-valued Categorical Data.	MCS	2009	DBLP DOI BibTeX RDF	Random Ordinality, Binary splits, Multi-way splits, Decision trees, Data fragmentation
34	Alexander G. Melnikov	0"-Categorical Completely Decomposable Torsion-Free Abelian Groups.	CiE	2009	DBLP DOI BibTeX RDF	torsion-free abelian groups, computable categoricity, Computable model theory
34	Qingquan Wang, Lili Rong, Kai Yu	Visual Knowledge Reasoning on Typed Categorical Structure.	FSKD (4)	2008	DBLP DOI BibTeX RDF
34	Anirban Mukhopadhyay 0001, Ujjwal Maulik, Sanghamitra Bandyopadhyay	Multiobjective Genetic Fuzzy Clustering of Categorical Attributes.	ICIT	2007	DBLP DOI BibTeX RDF
34	Yuni Xia, Bowei Xi	Conceptual Clustering Categorical Data with Uncertainty.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
34	Grigore Rosu	Complete Categorical Deduction for Satisfaction as Injectivity.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
34	Seung-won Hwang	Optimizing Ranked Retrieval over Categorical Attributes.	CBMS	2006	DBLP DOI BibTeX RDF
34	Si Quang Le, Tu Bao Ho, Le Sy Vinh	Association-Based Dissimilarity Measures for Categorical Data: Limitation and Improvement.	PAKDD	2006	DBLP DOI BibTeX RDF
34	Stephen E. Fienberg, Aleksandra B. Slavkovic	Preserving the Confidentiality of Categorical Statistical Data Bases When Releasing Information for Association Rules.	Data Min. Knowl. Discov.	2005	DBLP DOI BibTeX RDF	conditional tables, marginal tables, association rules, privacy preservation, contingency tables, algebraic geometry, disclosure limitation
34	Amir Ahmad, Lipika Dey	Algorithm for Fuzzy Clustering of Mixed Data with Numeric and Categorical Attributes.	ICDCIT	2005	DBLP DOI BibTeX RDF
34	Rodrigo C. Vieira, Paulo Blauth Menezes	Computational Simulation of Categorical Constructions.	EUROCAST	2005	DBLP DOI BibTeX RDF
34	Dean S. Hoskins, Charles J. Colbourn, Douglas C. Montgomery	Software performance testing using covering arrays: efficient screening designs with categorical factors.	WOSP	2005	DBLP DOI BibTeX RDF	D-optimal designs, performance testing, covering arrays
34	Ning Chen, Nuno C. Marques	An Extension of Self-organizing Maps to Categorical Data.	EPIA	2005	DBLP DOI BibTeX RDF
34	Shih-Hsiang Lo, Jian Chih Ou, Ming-Syan Chen	Inference Based Classifier: Efficient Construction of Decision Trees for Sparse Categorical Attributes.	DaWaK	2003	DBLP DOI BibTeX RDF
34	Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes	A Categorical Approach to NP-Hard Optimization Problems.	EUROCAST	2003	DBLP DOI BibTeX RDF
34	Daniel Barbará, Yi Li, Julia Couto 0001	COOLCAT: an entropy-based algorithm for categorical clustering.	CIKM	2002	DBLP DOI BibTeX RDF	clustering, data streams, entropy
34	Tadeusz Morzy, Marek Wojciechowski 0001, Maciej Zakrzewicz	Scalable Hierarchical Clustering Method for Sequences of Categorical Values.	PAKDD	2001	DBLP DOI BibTeX RDF
34	Takashi Okada	A Note on Covariances for Categorical Data.	IDEAL	2000	DBLP DOI BibTeX RDF
34	Wing-Kai Hon, Ton Kloks, Ching-Hao Liu, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang	Results on Independent Sets in Categorical Products of Graphs, the Ultimate Categorical Independence Ratio and the Ultimate Categorical Independent Domination Ratio.	WALCOM	2014	DBLP DOI BibTeX RDF
34	Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang	Results on independent sets in categorical products of graphs, the ultimate categorical independence ratio and the ultimate categorical independent domination ratio.	CoRR	2013	DBLP BibTeX RDF
33	George Voutsadakis	Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics
33	Ross Street	Categorical and Combinatorial Aspects of Descent Theory.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	n-category, weak n-category, descent, factorization system, computad, parity complex, torsor, stack, cohomology
33	George Voutsadakis	Categorical Abstract Algebraic Logic: Algebraizable Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples
33	Jirí Velebil	Categorical Generalization of a Universal Domain.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	Scott domain, Scott complete category, universal domain
33	Horst Herrlich, Miroslav Husek	Some open categorical problems in Top.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	(Almost) reflective subcategories, simple subcategories, orthogonal and implicational subcategories, injectivity- and projectivity-classes, limit-closed subcategories, algebraic constructs, cartesian-closedness, convenient hulls, realizations of constructs, normal functors
32	Aristides Gionis, Heikki Mannila, Panayiotis Tsaparas	Clustering aggregation.	ACM Trans. Knowl. Discov. Data	2007	DBLP DOI BibTeX RDF	clustering aggregation, clustering categorical data, Data clustering, correlation clustering
32	Furio Honsell, Marina Lenisa	"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models.	TYPES	2003	DBLP DOI BibTeX RDF	(linear) graph model, traced monoidal category, weak linear category, categorical geometry of interaction
32	Yu Zhang, David Nowak	Logical Relations for Dynamic Name Creation.	CSL	2003	DBLP DOI BibTeX RDF	Kripke logical relation, name creation, nu-calculus, categorical models of lambda calculi
32	Marcelo P. Fiore	Semantic analysis of normalisation by evaluation for typed lambda calculus.	PPDP	2002	DBLP DOI BibTeX RDF	categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics
32	Kalyani Mali, Sushmita Mitra	Clustering of Symbolic Data and Its Validation.	AFSS	2002	DBLP DOI BibTeX RDF	Categorical clustering, symbolic processing, data mining, validation
32	Andrea Corradini 0001, Andrea Asperti	A Categorial Model for Logic Programs: Indexed Monoidal Categories.	REX Workshop	1992	DBLP DOI BibTeX RDF	Categorical Logic, Structured Transition Systems, Logic Programming, Category Theory, Model Theory
32	Rafael Dueire Lins	A New Formula for the Execution of Categorial Combinators.	CADE	1986	DBLP DOI BibTeX RDF	Categorical Combinators, complexity, functional programming, lambda calculus
31	Patrick Letrémy, Marie Cottrell, Eric Esposito, Valérie Laffite, Sally Showk	Consumer Profile Identification and Allocation.	IWANN	2007	DBLP DOI BibTeX RDF	non-ordered Polychotomous Logit Model, Profiles, Logistic regression, Kohonen Maps
31	Daniel A. Keim, Ming C. Hao, Umeshwar Dayal	Hierarchical Pixel Bar Charts.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	multidimensional data visualization, visual data exploration and data mining, very large multiattributes data sets, hierarchical visualization, Information visualization
30	George Voutsadakis	Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples
30	Hans-E. Porst	Fundamental Constructions for Coalgebras, Corings, and Comodules.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 16W30, Secondary 18C05