Found 106 Documents (Results 1–100)
Communication protocols and QECCs from the perspective of TQFT. I: Constructing LOCC protocols and QECCs from TQFTs. (English) Zbl 07917790
Persistent cup product structures and related invariants. (English) Zbl 07857692
Reviewer: Cesar A. Ipanaque Zapata (São Carlos)
Limits of vector lattices. (English) Zbl 07852368
Vietoris-Rips persistent homology, injective metric spaces, and the filling radius. (English) Zbl 07846440
Reviewer: Ioan Pop (Iaşi)
On some categories of structured sets. (English) Zbl 1540.18002
Reviewer: Jose Avila (Cali)
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework. (English) Zbl 07803171
MSC:
68-XX
Monadic monadic second order logic. (English) Zbl 07920692
Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 701-754 (2023).
Many-valued coalgebraic modal logic: one-step completeness and finite model property. (English) Zbl 1543.03060
Shades of iteration: from Elgot to Kleene. (English) Zbl 07871789
Madeira, Alexandre (ed.) et al., Recent trends in algebraic development techniques. 26th IFIP WG 1.3 international workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13710, 100-120 (2023).
Clarifying the difference between origami fold models by a matrix representation. (English) Zbl 07829476
Kantorovich functors and characteristic logics for behavioural distances. (English) Zbl 07770331
Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 46-67 (2023).
A study of algebraic structures and logics based on categories of rough sets. (English) Zbl 1540.03111
Peters, James F. (ed.) et al., Transactions on Rough Sets XXIII. Berlin: Springer. Lect. Notes Comput. Sci. 13610, 288-507 (2023).
Topological duality for orthomodular lattices. (English) Zbl 07737999
MSC:
03-XX
Double preconditioning for Gabor frame operators: algebraic, functional analytic and numerical aspects. (English) Zbl 1539.43003
Reviewer: Ashish Bansal (Delhi)
Rigour and proof. (English) Zbl 1515.00014
Rev. Symb. Log. 16, No. 2, 480-508 (2023); corrigendum ibid. 16, No. 1, 338 (2023).
Native type theory. (English) Zbl 1530.03057
Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 116-132 (2022).
MSC:
03B38
Sequential measurements, topological quantum field theories, and topological quantum neural networks. (English) Zbl 1543.81051
Husserl, intentionality and mathematics: geometry and category theory. (English) Zbl 1519.00007
Boi, Luciano (ed.) et al., When form becomes substance. Power of gestures, diagrammatical intuition and phenomenology of space. Cham: Birkhäuser. 327-357 (2022).
A generic construction for crossovers of graph-like structures. (English) Zbl 1514.68335
Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 97-117 (2022).
A categorical framework for learning generalised tree automata. (English) Zbl 07628067
Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 67-87 (2022).
MSC:
68Q65
Discrete density comonads and graph parameters. (English) Zbl 07628065
Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 23-44 (2022).
MSC:
68Q65
A well-known representation of monoids and its application to the function ‘vector reverse’. (English) Zbl 07581653
MSC:
68N18
Analogical proportions. (English) Zbl 1490.68175
St. Alasdair on lattices everywhere. (English) Zbl 1542.03070
Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 323-346 (2022).
Combining and relating Aristotelian diagrams. (English) Zbl 1505.03022
Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 221-228 (2021).
Reviewer: Jens Lemanski (Hagen)
Cofree objects in the centralizer and the center categories. (English) Zbl 1492.18003
Reviewer: Blas Torrecillas (Almería)
Generalized persistence diagrams for persistence modules over posets. (English) Zbl 1500.55004
Reviewer: Elizabeth Munch (East Lansing)
Weighted limits in an \((\infty, 1)\)-category. (English) Zbl 1481.18030
Reviewer: Philippe Gaucher (Paris)
On the topological characterization of gestures in a convenient category of spaces. (English) Zbl 1469.00013
Coalgebra and abstraction. (English) Zbl 1470.18002
Reviewer: Hirokazu Nishimura (Tsukuba)
Initial degenerations of Grassmannians. (English) Zbl 1470.14122
Reviewer: Thomas Blomme (Paris)
Direct spectra of Bishop spaces and their limits. (English) Zbl 1473.03038
Reviewer: Daniel Romano (Banja Luka)
Relating Hilbert-Chu correspondences and big toy models for quantum mechanics. (English) Zbl 1517.81015
Kóczy, László T. (ed.) et al., Computational intelligence and mathematics for tackling complex problems. Cham: Springer. Stud. Comput. Intell. 819, 75-80 (2020).
Monads and quantitative equational theories for nondeterminism and probability. (English) Zbl 07559484
Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 28, 18 p. (2020).
MSC:
68Q85
Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs. (English) Zbl 1452.68096
Categorical complexity. (English) Zbl 1452.18001
Reviewer: Philippe Gaucher (Paris)
The category of node-and-choice forms, with subcategories for choice-sequence forms and choice-set forms. (English) Zbl 1477.91006
Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 15-66 (2020).
Adhesive subcategories of functor categories with instantiation to partial triple graphs. (English) Zbl 1429.68089
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 38-54 (2019).
Path category for free. Open morphisms from coalgebras with non-deterministic branching. (English) Zbl 1524.68205
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 523-540 (2019).
Category-theoretic interpretative framework of the complementarity principle in quantum mechanics. (English) Zbl 1448.81024
Towards a categorical representation of reversible event structures. (English) Zbl 1427.68196
Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur)
Formal concept analysis and structures underlying quantum logics. (English) Zbl 1512.68326
Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 853, 574-584 (2018).
On models of higher-order separation logic. (English) Zbl 1525.03093
Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 57-78 (2018).
A semantics for hybrid iteration. (English) Zbl 1520.68028
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 22, 17 p. (2018).
Fuzzy analogues of sets and functions can be uniquely determined from the corresponding ordered category: a theorem. (English) Zbl 1432.03111
MSC:
03E72
MiniBrass: soft constraints for MiniZinc. (English) Zbl 1430.90525
MSC:
90C30
Various kinds of freeness in the categories of Krasner hypermodules. (English) Zbl 1412.18010
MSC:
18D35
Categorial subsystem independence as morphism co-possibility. (English) Zbl 1400.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
Categories for dynamic epistemic logic. (English) Zbl 1483.03009
Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 353-372 (2017).
MSC:
03B42
On monotone determined spaces. (English) Zbl 1395.54028
Luo, Mao-Kang (ed.) et al., Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2–6, 2017. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 333, 63-72 (2017).
Contextual semantics in quantum mechanics from a categorical point of view. (English) Zbl 1396.81014
Reviewer: Marco Benini (Buccinasco)
Categorical approach to modelling and to coupling of models. (English) Zbl 1367.00025
Reviewer: Robert Dawson (Halifax)
Existence of reflections and its applications. (English) Zbl 1364.54013
Reviewer: Harald Brandenburg (Berlin)
Product rules and distributive laws. (English) Zbl 1475.18006
Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 114-135 (2016).
MSC:
18C15
In category of sets and relations, it is possible to describe functions in purely category terms. (English) Zbl 1463.18005
MSC:
18B10
Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment. (English) Zbl 1344.03028
Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order. (English) Zbl 1294.47101
Reviewer: Michael Perelmuter (Kyïv)
Filter Results by …
Document Type
- Journal Articles (82)
- Collection Articles (24)
all
top 5
Author
- Wißmann, Thorsten (5)
- Kosiol, Jens (4)
- Taentzer, Gabriele (4)
- Bimbó, Katalin (3)
- Corey, Daniel (3)
- Feintzeig, Benjamin H. (3)
- Goncharov, Sergeĭ Savost’yanovich (3)
- Gratzer, Daniel (3)
- Karakostas, Vassilios (3)
- Kavvos, G. A. (3)
- Mémoli, Facundo (3)
- Milius, Stefan (3)
- Schröder, Lutz (3)
- Silva, Alexandra (3)
- Zafiris, Elias (3)
- Ameri, Reza (2)
- Birkedal, Lars (2)
- Dunn, Jon Michael (2)
- Fields, Christopher A. (2)
- Fritsche, Lars (2)
- Glazebrook, James F. (2)
- Graversen, Eva (2)
- Hofmann, Dirk (2)
- John, Stefan (2)
- Kreinovich, Vladik Yakovlevich (2)
- Krídlo, Ondrej (2)
- Liau, Churn-Jung (2)
- Marcianò, Antonino (2)
- Mormann, Thomas (2)
- Ojeda-Aciego, Manuel (2)
- Petrakis, Iosif (2)
- Phillips, Iain W. (2)
- Schürr, Andy (2)
- Shojaei, Hossein (2)
- Streufert, Peter A. (2)
- Vignero, Leander (2)
- Yoshida, Nobuko (2)
- Abramsky, Samson (1)
- Ahmadi Kakavandi, Bijan (1)
- Alcântara, Maigan S. da S. (1)
- Anders, Gerrit (1)
- Angiuli, Carlo (1)
- Antić, Christian (1)
- Aslan, Sedat (1)
- Bain, Jonathan (1)
- Balazs, Peter (1)
- Basu, Saugata (1)
- Behrisch, Mike (1)
- Bizjak, Aleš (1)
- Bojańczyk, Mikołaj (1)
- Bonchi, Filippo (1)
- Bonsangue, Marcello Maria (1)
- Brefort, Quentin (1)
- Broadbent, Anne (1)
- Bumpus, Benjamin Merlin (1)
- Caltais, Georgiana (1)
- Ceberio, Martine (1)
- Chakraborty, Mihir Kumar (1)
- Chiaselotti, Giampiero (1)
- Chirvăsitu, Alexandru (1)
- Clark, Timothy L. (1)
- Corradini, Andrea (1)
- de B. Melo, Silvio (1)
- De Klerck, Alexander (1)
- de Oliveira, Wilson Rosa (1)
- Deifel, Hans-Peter (1)
- Demey, Lorenz (1)
- Dewar, Neil (1)
- Dewitt, Barry (1)
- Dias, Thiago (1)
- Döring, Andreas (1)
- Dorsch, Ulrich (1)
- Dubut, Jérémy (1)
- Duracz, Adam (1)
- Dutta, Hemen (1)
- Farjudian, Amin (1)
- Feichtinger, Hans Georg (1)
- Fiore, Marcelo P. (1)
- Fletcher, Samuel Craig (1)
- Funk, Jonathon R. (1)
- Gentile, Tommaso (1)
- Gürlebeck, Klaus (1)
- Gyenis, Zalán (1)
- Haider, Daniel (1)
- Hasuo, Ichiro (1)
- Hofstra, Pieter J. W. (1)
- Huang, Shuqi (1)
- Infusino, Federico G. (1)
- Isik, Umut (1)
- Jacobs, Bart (1)
- Jakl, Tomáš (1)
- Jakob, Julian (1)
- Jia, Yiyang (1)
- Kappé, Tobias (1)
- Karádais, Basil A. (1)
- Karvonen, Martti (1)
- Katsumata, Shin-ya (1)
- Kerkhoff, Sebastian (1)
- Kim, Woojin (1)
- Kishida, Kohei (1)
- and 78 more Authors
all
top 5
Serial
- Log. Methods Comput. Sci. (7)
- J. Log. Algebr. Methods Program. (6)
- Synthese (4)
- Commun. Math. Phys. (2)
- Fortschr. Phys. (2)
- Fuzzy Sets Syst. (2)
- Notre Dame J. Formal Logic (2)
- Eur. J. Comb. (2)
- Inf. Comput. (2)
- Int. J. Approx. Reasoning (2)
- Appl. Categ. Struct. (2)
- Math. Log. Q. (2)
- Found. Phys. (2)
- Log. Univers. (2)
- Rev. Symb. Log. (2)
- Eur. J. Math. (2)
- J. Appl. Comput. Topol. (2)
- Int. J. Theor. Phys. (1)
- J. Math. Anal. Appl. (1)
- Lett. Math. Phys. (1)
- Math. Methods Appl. Sci. (1)
- Rev. Math. Phys. (1)
- J. Geom. Phys. (1)
- Arch. Math. (Brno) (1)
- J. Comput. Syst. Sci. (1)
- J. Pure Appl. Algebra (1)
- Math. Slovaca (1)
- Pac. J. Math. (1)
- Semigroup Forum (1)
- Stud. Log. (1)
- Theor. Comput. Sci. (1)
- Topology Appl. (1)
- Discrete Comput. Geom. (1)
- Formal Asp. Comput. (1)
- Appl. Comput. Harmon. Anal. (1)
- J. Funct. Program. (1)
- Sel. Math., New Ser. (1)
- Bull. Symb. Log. (1)
- Ann. Math. Artif. Intell. (1)
- Constraints (1)
- Soft Comput. (1)
- Algebr. Geom. Topol. (1)
- Int. Stud. Philos. Sci. (1)
- J. Algebra Appl. (1)
- Thai J. Math. (1)
- J. Math. Music (1)
- Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. (1)
- Eurasian Math. J. (1)
- Axiomathes (1)
- Forum Math. Sigma (1)
- Axioms (1)
- Int. J. Anal. Appl. (1)
- Categ. Gen. Algebr. Struct. Appl. (1)
- Algebr. Comb. (1)
all
top 3
Main Field
- 18-XX (44)
- 03-XX (37)
- 68-XX (37)
- 81-XX (12)
- 00-XX (10)
- 06-XX (9)
- 05-XX (6)
- 14-XX (6)
- 16-XX (6)
- 55-XX (6)
- 46-XX (5)
- 83-XX (5)
- 20-XX (4)
- 52-XX (3)
- 54-XX (3)
- 08-XX (2)
- 37-XX (2)
- 47-XX (2)
- 60-XX (2)
- 70-XX (2)
- 90-XX (2)
- 91-XX (2)
- 15-XX (1)
- 17-XX (1)
- 42-XX (1)
- 43-XX (1)
- 51-XX (1)
- 53-XX (1)
- 65-XX (1)
- 93-XX (1)
- 94-XX (1)
all
top 3
Software
- polymake (3)
- Gfan (2)
- GitHub (2)
- MiniML (2)
- OSCAR (2)
- Polymake.jl (2)
- SageMath (2)
- Simply RaTT (2)
- Augur 2 (1)
- BISIMULATOR (1)
- Bedrock (1)
- CADP (1)
- CALF (1)
- CIRC (1)
- CP-nets (1)
- CauDEr (1)
- Choco (1)
- Coq (1)
- CryptHOL (1)
- Cubical agda (1)
- DisCoPy (1)
- Essence (1)
- Flow (1)
- Formigramator (1)
- G12 (1)
- GNUC (1)
- GROOVE (1)
- Gecode (1)
- Henshin (1)
- JaCoP (1)
- JavaScript (1)
- Julia (1)
- LearnLib (1)
- M-TREE (1)
- MDEOptimiser (1)
- Macaulay2 (1)
- MathOverflow (1)
- MetaPRL (1)
- MiniBrass (1)
- MiniSearch (1)
- MiniZinc (1)
- MiningZinc (1)
- NSGA-II (1)
- NumberJack (1)
- OEIS (1)
- PRISM (1)
- PROGRES (1)
- Ripser (1)
- SEET (1)
- Tiburon (1)
- Toolchain (1)
- ToulBar2 (1)
- UMDES (1)
- cubicaltt (1)
- dReach (1)
- mCRL2 (1)
