• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 33 matches

• 2011
• 
  Grzegorz Bancerek:
  Veblen Hierarchy. Formaliz. Math. 19(2): 83-92 (2011)
• 
  Grzegorz Bancerek:
  Sorting by Exchanging. Formaliz. Math. 19(2): 93-102 (2011)
• 
  Grzegorz Bancerek:
  Representation Theorem for Stacks. Formaliz. Math. 19(4): 241-250 (2011)
• 
  Marco B. Caminati:
  Preliminaries to Classical First Order Model Theory. Formaliz. Math. 19(3): 155-167 (2011)
• 
  Marco B. Caminati:
  Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms. Formaliz. Math. 19(3): 169-178 (2011)
• 
  Marco B. Caminati:
  First Order Languages: Further Syntax and Semantics. Formaliz. Math. 19(3): 179-192 (2011)
• 
  Marco B. Caminati:
  Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages. Formaliz. Math. 19(3): 193-203 (2011)
• 
  Marco B. Caminati:
  Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem. Formaliz. Math. 19(3): 205-222 (2011)
• 
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
  Formalization of Integral Linear Space. Formaliz. Math. 19(1): 61-64 (2011)
• 
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
  Set of Points on Elliptic Curve in Projective Coordinates. Formaliz. Math. 19(3): 131-138 (2011)
• 
  Mariusz Giero:
  The Axiomatization of Propositional Linear Time Temporal Logic. Formaliz. Math. 19(2): 113-119 (2011)
• 
  Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama:
  Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19(1): 1-9 (2011)
• 
  Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama:
  Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19(2): 65-68 (2011)
• 
  Peter Jaeger:
  Borel-Cantelli Lemma. Formaliz. Math. 19(4): 227-232 (2011)
• 
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama:
  Banach Algebra of Bounded Complex-Valued Functionals. Formaliz. Math. 19(2): 121-126 (2011)
• 
  Artur Kornilowicz:
  Mazur-Ulam Theorem. Formaliz. Math. 19(3): 127-130 (2011)
• 
  Artur Kornilowicz:
  Cayley's Theorem. Formaliz. Math. 19(4): 223-225 (2011)
• 
  Xiquan Liang, Dailu Li:
  Some Properties of p-Groups and Commutative p-Groups. Formaliz. Math. 19(1): 11-15 (2011)
• 
  Xiquan Liang, Ling Tang, Xichun Jiang:
  Difference and Difference Quotient. Part IV. Formaliz. Math. 19(1): 35-39 (2011)
• 
  Keiichi Miyajima, Takahiro Kato, Yasunari Shidama:
  Riemann Integral of Functions from R into Real Normed Space. Formaliz. Math. 19(1): 17-22 (2011)
• 
  Keiko Narita, Artur Kornilowicz, Yasunari Shidama:
  More on the Continuity of Real Functions. Formaliz. Math. 19(4): 233-239 (2011)
• 
  Robin Nittka:
  Conway's Games and Some of their Basic Properties. Formaliz. Math. 19(2): 73-81 (2011)
• 
  Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama:
  Normal Subgroup of Product of Groups. Formaliz. Math. 19(1): 23-26 (2011)
• 
  Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama:
  Differentiable Functions into Real Normed Spaces. Formaliz. Math. 19(2): 69-72 (2011)
• 
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama:
  More on Continuous Functions on Normed Linear Spaces. Formaliz. Math. 19(1): 45-49 (2011)
• 
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama:
  Cartesian Products of Family of Real Linear Spaces. Formaliz. Math. 19(1): 51-59 (2011)
• 
  Karol Pak:
  Linear Transformations of Euclidean Topological Spaces. Formaliz. Math. 19(2): 103-108 (2011)
• 
  Karol Pak:
  Linear Transformations of Euclidean Topological Spaces. Part II. Formaliz. Math. 19(2): 109-112 (2011)
• 
  Karol Pak:
  Continuity of Barycentric Coordinates in Euclidean Topological Spaces. Formaliz. Math. 19(3): 139-144 (2011)
• 
  Karol Pak:
  Brouwer Fixed Point Theorem for Simplexes. Formaliz. Math. 19(3): 145-150 (2011)

skipping 3 more matches