Search results
From MaRDI portal
- Paper Behavioral algebraization of logics 2009-03-17 Paper https://portal.mardi4nfdi.de/entity/Q3520840 2008-08-26 Paper On the Algebraization of Many-Sorted...10 bytes (17 words) - 15:05, 11 December 2023
- 2018-11-29 Paper The complex Monge-Ampère equation, Zoll metrics and algebraization 2018-05-23 Paper...10 bytes (18 words) - 18:12, 13 December 2023
- Paper Extensions de valuation et polygone de Newton 2009-02-10 Paper Algebraization of complex analytic varieties and derived categories. 2008-12-01 Paper...10 bytes (16 words) - 11:20, 11 December 2023
- Publication Date of Publication Type Space saving by dynamic algebraization based on tree-depth 2017-10-20 Paper Approximating the $$k$$-Set Packing Problem...10 bytes (16 words) - 02:15, 25 September 2023
- first order algebraization 2010-09-20 Paper On conservative extensions in logics with infinitary predicates 2009-11-16 Paper On Cylindric Algebras Satisfying...10 bytes (17 words) - 16:21, 8 December 2023
- Trends in Algebraic Development Techniques 2010-04-20 Paper Labelled Tableaux for Distributed Temporal Logic 2010-01-14 Paper Behavioral algebraization of da...10 bytes (16 words) - 15:05, 11 December 2023
- 1973-01-01 Paper Vector Bundles Over Finite CW-Complexes are Algebraic 1973-01-01 Paper An algebraization of vector bundles on compact manifolds 1972-01-01 Paper...10 bytes (16 words) - 22:06, 12 December 2023
- literal-paraconsistent and literal-paracomplete matrices 2010-08-18 Paper Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete...10 bytes (18 words) - 20:29, 8 December 2023
- 2007-02-20 Paper Extended finite operator calculus -- an example of algebraization of analysis 2007-02-15 Paper https://portal.mardi4nfdi.de/entity/Q3372186...10 bytes (18 words) - 23:22, 11 December 2023
- 2010-07-06 Paper Holonomy in quaternionic quantum mechanics 2003-10-14 Paper Algebraization of spectral problems in the Bargmann--Fock representation 2003-10-14...10 bytes (17 words) - 08:03, 13 December 2023
- genuine and non-algebraisable C-systems 2021-07-06 Paper Non-deterministic algebraization of logics by swap structures1 2021-01-08 Paper First-order swap structures...10 bytes (18 words) - 13:36, 28 January 2024
- parameterized algorithm for the Hamiltonian Cycle problem by dynamic algebraization 2019-10-22 Paper Eigenvalue location in graphs of small clique-width...10 bytes (16 words) - 19:31, 11 December 2023
- Publication Date of Publication Type Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices 2008-05-08 Paper...10 bytes (16 words) - 22:04, 27 December 2023
- Publication Date of Publication Type DIRECT APPROACH TO PARTIAL ALGEBRAIZATION 2001-07-31 Paper...10 bytes (16 words) - 06:00, 7 October 2023
- Publication Date of Publication Type Algebraization of Non-structural Logics 2007-02-15 Paper...10 bytes (18 words) - 08:52, 6 October 2023
- diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) 1976-01-01 Paper The fixed-point theorem for diagonalizable algebras. (The...10 bytes (16 words) - 22:49, 24 September 2023
- Paper Post Completeness and Free Algebras 1980-01-01 Paper Fixed points through the finite model property. (The algebraization of the theories which express...10 bytes (17 words) - 03:51, 13 December 2023
- 2018-09-28 Paper The complex Monge-Ampère equation, Zoll metrics and algebraization 2018-05-23 Paper A proportional integral extremum-seeking control approach...10 bytes (20 words) - 21:58, 8 December 2023
- 2007-11-28 Paper Extended finite operator calculus -- an example of algebraization of analysis 2007-02-15 Paper...10 bytes (16 words) - 02:03, 7 October 2023
- Publication Date of Publication Type Non-deterministic algebraization of logics by swap structures1 2021-01-08 Paper First-order swap structures semantics...10 bytes (18 words) - 09:22, 25 September 2023
