Search results
From MaRDI portal
- Paper Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice 2013-09-17 Paper Parameterized Complexity of Weighted Satisfiability...10 bytes (17 words) - 07:50, 9 December 2023
- Paper Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice 2013-09-17 Paper...10 bytes (17 words) - 02:07, 25 September 2023
- Publication Date of Publication Type A lattice property of Post's simple set 1975-01-01 Paper...10 bytes (18 words) - 11:15, 24 September 2023
- operations 1974-01-01 Paper Automorphisms of the lattice of recursively enumerable sets 1974-01-01 Paper Post's problem and his hypersimple set 1973-01-01 Paper...10 bytes (19 words) - 06:17, 9 December 2023
- distributive lattices 1982-01-01 Paper Equationally definable Post L-algebras 1981-01-01 Paper Post L‐Algebras and Rings 1981-01-01 Paper Free Post L-algebras...10 bytes (18 words) - 03:52, 13 December 2023
- bounded residuated lattices 2016-10-27 Paper Regular elements and Kolmogorov translation in residuated lattices 2015-03-02 Paper Lattice BCK logics with Modus...10 bytes (18 words) - 10:54, 11 December 2023
- chemical reactions induced by droplet in a phase separating media using lattice Boltzmann-kinetic Monte-Carlo framework 2018-06-19 Paper Coupling of reaction...10 bytes (18 words) - 17:52, 13 December 2023
- integrators 2013-06-14 Paper Multidimensional pseudo-spectral methods on lattice grids 2012-03-19 Paper Topics in structure-preserving discretization 2011-11-24...10 bytes (21 words) - 02:36, 9 December 2023
- pantographic lattices. I: Numerical simulations 2017-04-04 Paper Non-standard coupled extensional and bending bias tests for planar pantographic lattices. II:...10 bytes (18 words) - 02:05, 11 December 2023
- in particle suspensions using the lattice Boltzmann and discrete element methods 2019-03-25 Paper Multiphase lattice Boltzmann simulations for porous media...10 bytes (18 words) - 19:59, 12 December 2023
- Publication Date of Publication Type Lattice RingCT v2.0 with multiple input and multiple output wallets 2020-05-27 Paper Post-quantum one-time linkable ring...10 bytes (20 words) - 20:20, 13 December 2023
- Finding a maximal zero for some classes of monotone Boolean functions in Post's classification 1988-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3807267...10 bytes (18 words) - 13:52, 7 October 2023
- Data 2012-03-22 Paper Adding interior points to an existing Brownian sheet lattice. 2004-03-14 Paper...10 bytes (16 words) - 00:12, 11 December 2023
- wall-driven square cavity flows using the lattice Boltzmann method 2020-04-27 Paper A 8-neighbor model lattice Boltzmann method applied to mathematical-physical...10 bytes (18 words) - 00:33, 11 December 2023
- 1954-01-01 Paper The normal completion of a subset of a complete lattice and lattices of continuous functions 1953-01-01 Paper On sentences which are true...10 bytes (17 words) - 22:58, 12 December 2023
- 1994-06-05 Paper Lattice Embeddings into the R.E. Degrees Preserving 0 and 1 1994-04-27 Paper Cappable recursively enumerable degrees and Post's program 1994-01-13...10 bytes (18 words) - 15:27, 6 December 2023
- three elements 2013-01-30 Paper The predicate method to construct the Post lattice 2012-06-08 Paper Structure of clones in the precomplete class of self-dual...10 bytes (19 words) - 05:01, 12 December 2023
- signal's handshake (X3DH): post-quantum, state leakage secure, and deniable 2022-05-09 Paper Integral matrix Gram root and lattice Gaussian sampling without...10 bytes (16 words) - 14:01, 7 October 2023
- subvariety of linear tense algebras 2005-02-16 Paper Free \(Q\)-distributive lattice over an \(n\)-element chain 2004-05-27 Paper https://portal.mardi4nfdi.de/entity/Q4465173...10 bytes (18 words) - 03:25, 13 December 2023
- differential equations 2016-11-24 Paper Lattice Green functions: thed-dimensional face-centered cubic lattice,d= 8, 9, 10, 11, 12 2016-08-10 Paper The...10 bytes (18 words) - 02:45, 9 December 2023