Theoretical Computer Science
Modeling Connectionist Network Structures: Some Geometric and Categorical Aspects
Annals of Mathematics and Artificial Intelligence
Journal of Automated Reasoning
L-Fuzzifying topologies as L-topologies
Fuzzy Sets and Systems
Hierarchical graph transformation
Journal of Computer and System Sciences
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
On the Compatibility of Model and Model-Class Transformations
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Institution Independent Static Analysis for CASL
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
HASCASL: Towards Integrated Specification and Development of Functional Programs
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Algebraic Semantics of Coordination or What Is in a Signature
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Amalgamation in CASL via Enriched Signatures
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Hierarchical Graph Transformation
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
On the Duality between Observability and Reachability
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Life without the Terminal Type
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Canonical Institutions of Behaviour
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Logical Relations for Monadic Types
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Initial L-fuzzy closure spaces
Fuzzy Sets and Systems - Topology
On initial and final fuzzy uniform structures
Fuzzy Sets and Systems - Topology
Fuzzy Sets and Systems - Topology
Stratified Hutton uniform spaces
Fuzzy Sets and Systems - Mathematics
A note on the hypergraph functor
Fuzzy Sets and Systems - Mathematics
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Fuzzy T-neighbourhood spaces: part 1--T-proximities
Fuzzy Sets and Systems - Mathematics
Fuzzy T-neighbourhood spaces: part 2--T-neighbourhood systems
Fuzzy Sets and Systems - Mathematics
Regularity in fuzzy convergence spaces
Fuzzy Sets and Systems - Mathematics
Fuzzy Sets and Systems - Logic and algebra
An Order-Based Theory of Updates for Closed Database Views
Annals of Mathematics and Artificial Intelligence
Institution-independent ultraproducts
Fundamenta Informaticae
On varieties and covarieties in a category
Mathematical Structures in Computer Science
A theory of mixin modules: algebraic laws and reduction semantics
Mathematical Structures in Computer Science
Universal aspects of probabilistic automata
Mathematical Structures in Computer Science
Double-pushout graph transformation revisited
Mathematical Structures in Computer Science
On categories generalizing universal domains
Mathematical Structures in Computer Science
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
Syntactic composition of top-down tree transducers is short cut fusion
Mathematical Structures in Computer Science
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
A general final coalgebra theorem
Mathematical Structures in Computer Science
Coalgebraic modal logic of finite rank
Mathematical Structures in Computer Science
The complexity of embedded axiomatization for a class of closed database views
Annals of Mathematics and Artificial Intelligence
The HASCASL prologue: categorical syntax and semantics of the partial λ-calculus
Theoretical Computer Science
A description of competing fusion systems
Information Fusion
Connectedness and local connectedness in Lowen spaces
Fuzzy Sets and Systems
An enriched category approach to many valued topology
Fuzzy Sets and Systems
On a generalization of Goguen's category Set(L)
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Pretopological and topological lattice-valued convergence spaces
Fuzzy Sets and Systems
The intersection of algebra and coalgebra
Theoretical Computer Science - Algebra and coalgebra in computer science
Coalgebraic Modal Logic Beyond Sets
Electronic Notes in Theoretical Computer Science (ENTCS)
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I
Fundamenta Informaticae
Contact Algebras and Region-based Theory of Space: Proximity Approach - II
Fundamenta Informaticae
Fuzzy sets and sheaves. Part I
Fuzzy Sets and Systems
A unifying study between modal-like operators, topologies and fuzzy sets
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Closure axioms for a class of fuzzy matroids and co-towers of matroids
Fuzzy Sets and Systems
Lattice-valued induced fuzzy topological spaces
Fuzzy Sets and Systems
On (L,M)-fuzzy quasi-uniform spaces
Fuzzy Sets and Systems
I-fuzzy Alexandrov topologies and specialization orders
Fuzzy Sets and Systems
Powersets of terms and composite monads
Fuzzy Sets and Systems
Transporting many-valued sets along many-valued relations
Fuzzy Sets and Systems
Uniform environments as a general framework for metrics and uniformities
Fuzzy Sets and Systems
Survey of local connectedness axioms and their properties in L-topological spaces
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Fuzzy orders and fuzzifying topologies
International Journal of Approximate Reasoning
Theoretical Computer Science
Coalgebraising Subsequential Transducers
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for the verification of infinite-state graph transformation systems
Information and Computation
On many-valued stratified L-fuzzy convergence spaces
Fuzzy Sets and Systems
On the category of fixed basis frame valued topological groups
Fuzzy Sets and Systems
On a coreflective hull in L-TOP
Fuzzy Sets and Systems
Uniform-type structures on lattice-valued spaces and frames
Fuzzy Sets and Systems
Lattice-valued convergence spaces and regularity
Fuzzy Sets and Systems
A categorical study on the finiteness of specifications
Information Processing Letters
Finite relational structure models of topological spaces and maps
Theoretical Computer Science
Elementary Differential Calculus on Discrete and Hybrid Structures
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Towards Refinement of Clinical Evidence Using General Logics
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
On the Construction of Transformation Steps in the Category of Multiagent Systems
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A New Proof on Embedding the Category of Proximity Spaces into the Category of Nearness Spaces
Fundamenta Informaticae
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
Bialgebraic methods and modal logic in structural operational semantics
Information and Computation
Logical relations for monadic types†
Mathematical Structures in Computer Science
Terminal Sequence Induction via Games
Logic, Language, and Computation
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
Terminal Coalgebras for Measure-Polynomial Functors
TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
A Model of Database Components and their Interconnection Based upon Communicating Views
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Formalizing Ontology Alignment and its Operations with Category Theory
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Conservativity in Structured Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Managing requirement volatility in an ontology-driven clinical LIMS using category theory
International Journal of Telemedicine and Applications - Special issue on electronic health
Context-Free Categorical Grammars
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Structured lattices and topological categories of L-sets
Fuzzy Sets and Systems
Relationship of algebraic theories to powersets over objects in Set and Set×C
Fuzzy Sets and Systems
Composing Partially Ordered Monads
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Generating compiler optimizations from proofs
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fuzzy Sets and Systems
Categories isomorphic to L-FTOP
Fuzzy Sets and Systems
Categories isomorphic to the Kubiak--Šostak extension of TML
Fuzzy Sets and Systems
Categories of lattice-valued sets as categories of arrows
Fuzzy Sets and Systems
Sums of L-fuzzy topological spaces
Fuzzy Sets and Systems
Galois connections between categories of L-topological spaces
Fuzzy Sets and Systems
Subcategories of lattice-valued convergence spaces
Fuzzy Sets and Systems
On initial and final L-topological groups
Fuzzy Sets and Systems
Categories of bi-fuzzy pre-matroids
Computers & Mathematics with Applications
Compactification of lattice-valued convergence spaces
Fuzzy Sets and Systems
Implication structures, fuzzy subsets, and enriched categories
Fuzzy Sets and Systems
Pointed semi-quantales and lattice-valued topological spaces
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Structured CSP: a process algebra as an institution
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Null values in relational databases and sure information answers
Proceedings of the 2nd international conference on Semantics in databases
Structured co-spans: an algebra of interaction protocols
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Bootstrapping types and cotypes in HASCASL
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Grill Determined L-Approach Merotopological Spaces
Fundamenta Informaticae
Inferable object-oriented typed assembly language
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Stratified L-ordered convergence structures
Fuzzy Sets and Systems
Characterising behavioural equivalence: three sides of one coin
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Monadic extensions of institutions
Fuzzy Sets and Systems
Ideal-valued topological structures
Fuzzy Sets and Systems
Towards the theory of M-approximate systems: Fundamentals and examples
Fuzzy Sets and Systems
Alexandroff L-co-topological spaces
Fuzzy Sets and Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
On universal algebra over nominal sets
Mathematical Structures in Computer Science
A coalgebraic approach to non-determinism: Applications to multilattices
Information Sciences: an International Journal
Relationships between L-ordered convergence structures and strong L-topologies
Fuzzy Sets and Systems
Compactness in lattice-valued function spaces
Fuzzy Sets and Systems
Subsequential transducers: a coalgebraic perspective
Information and Computation
Sortal equivalence of bare grammars
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Finitary m-adhesive categories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Hereditary pushouts reconsidered
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Research on mapping mechanism of learning expression
RSKT'10 Proceedings of the 5th international conference on Rough set and knowledge technology
A non-commutative and non-idempotent theory of quantale sets
Fuzzy Sets and Systems
An approach to fuzzy frames via fuzzy posets
Fuzzy Sets and Systems
How to delete categorically - Two pushout complement constructions
Journal of Symbolic Computation
A categorical framework for the transformation of object-oriented systems: Models and data
Journal of Symbolic Computation
Fuzzy Galois connections under weak conditions
Fuzzy Sets and Systems
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
Mathematical Structures in Computer Science
A counterexample to tensorability of effects
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Computers & Mathematics with Applications
Distributed unfolding of petri nets
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Lattice-valued convergence spaces: Extending the lattice context
Fuzzy Sets and Systems
A one-point compactification for lattice-valued convergence spaces
Fuzzy Sets and Systems
Moore--Smith convergence in (L,M)-fuzzy topology
Fuzzy Sets and Systems
A survey of fuzzifications of frames, the Papert--Papert--Isbell adjunction and sobriety
Fuzzy Sets and Systems
Lowen LM-fuzzy topological spaces
Fuzzy Sets and Systems
The order-theoretic duality and relations between partial metrics and local equalities
Fuzzy Sets and Systems
Adding fuzziness to terms and powerobjects using a monadic approach
Fuzzy Sets and Systems
A coalgebraic perspective on linear weighted automata
Information and Computation
Behavioural semantics of algebraic specifications in arbitrary logical systems
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
From T-coalgebras to filter structures and transition systems
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Di-uniformities and Hutton uniformities
Fuzzy Sets and Systems
Lattice-valued semiuniform convergence spaces
Fuzzy Sets and Systems
Monotone predicate transformers as up-closed multirelations
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Confluence of graph transformation revisited
Processes, Terms and Cycles
Data intensive distributed computing in data aware self-organizing networks
Transactions on Computational Science XV
Join-completions of L-ordered sets
Fuzzy Sets and Systems
A coalgebraic perspective on minimization and determinization
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Well-Pointed coalgebras (extended abstract)
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Net-theoretical convergence in (L,M)-fuzzy cotopological spaces
Fuzzy Sets and Systems
Encapsulating deontic and branching time specifications
Theoretical Computer Science
A New Proof on Embedding the Category of Proximity Spaces into the Category of Nearness Spaces
Fundamenta Informaticae
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I
Fundamenta Informaticae
Contact Algebras and Region-based Theory of Space: Proximity Approach - II
Fundamenta Informaticae
Institution-independent Ultraproducts
Fundamenta Informaticae
Fundamenta Informaticae
Fundamenta Informaticae
GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS
Fundamenta Informaticae
TOWARDS SYNCHRONOUS AND ASYNCHRONOUS GRAPH TRANSFORMATIONS
Fundamenta Informaticae
Probabilistic metric spaces as enriched categories
Fuzzy Sets and Systems
Diagonal conditions for lattice-valued uniform convergence spaces
Fuzzy Sets and Systems
All Compact Hausdorff Lambda Models Are Degenerate
Fundamenta Informaticae
Adhesivity with Partial Maps instead of Spans
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
1-Cohomology of simplicial amalgams of groups
Journal of Algebraic Combinatorics: An International Journal
Category-theoretic fuzzy topological spaces and their dualities
Fuzzy Sets and Systems
A characterization of the category Q-TOP
Fuzzy Sets and Systems
On (L,M)-fuzzy convergence spaces
Fuzzy Sets and Systems
Enriched lattice-valued convergence groups
Fuzzy Sets and Systems
Two cartesian closed subcategories of fuzzy domains
Fuzzy Sets and Systems
Hi-index | 0.01 |