• 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 20 matches

• 2024
• 
  Gianluca Paolini:
  Computable Scott sentences and the weak Whitehead problem for finitely presented groups. Ann. Pure Appl. Log. 175(7): 103441 (2024)
• 
  Stefano Scanzio, Federico Quarta, Giacomo Paolini, Gabriele Formis, Gianluca Cena:
  Ultralow Power and Green TSCH-Based WSNs With Proactive Reduction of Idle Listening. IEEE Internet Things J. 11(17): 29076-29088 (2024)
• 
  Stefano Scanzio, Gabriele Formis, Tullio Facchinetti, Giacomo Paolini, Gianluca Cena:
  Wireless Sensor Networks Based on TSCH/TDMA with Power Consumption and Latency Constraints. ETFA 2024: 1-4
• 2023
• 
  Gianluca Paolini:
  Computable scott sentences for quasi-Hopfian finitely presented structures. Arch. Math. Log. 62(1-2): 55-65 (2023)
• 2021
• 
  Tapani Hyttinen, Gianluca Paolini:
  First-order model theory of free projective planes. Ann. Pure Appl. Log. 172(2): 102888 (2021)
• 
  John Baldwin, Gianluca Paolini:
  Strongly Minimal Steiner Systems I: existence. J. Symb. Log. 86(4): 1486-1507 (2021)
• 2020
• 
  Gianluca Paolini:
  A New ω-Stable Plane. Reports Math. Log. 55: 87-111 (2020)
• 
  Gianluca Paolini, Saharon Shelah:
  Some Results on Polish Groups. Reports Math. Log. 55: 61-71 (2020)
• 2019
• 
  Gianluca Paolini, Saharon Shelah:
  Polish topologies for graph products of groups. J. Lond. Math. Soc. 100(2): 383-403 (2019)
• 
  Tapani Hyttinen, Gianluca Paolini:
  Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case. Notre Dame J. Formal Log. 60(4): 707-731 (2019)
• 
  Gianfranco Fazzini, Paola Paolini, Romina Paolucci, Daniela Chiulli, Gianluca Barile, Alfiero Leoni, Mirco Muttillo, Leonardo Pantoli, Giuseppe Ferri:
  Print On Air: FDM 3D Printing Without Supports. MetroInd4.0&IoT 2019: 350-354
• 2018
• 
  Tapani Hyttinen, Gianluca Paolini:
  Beyond abstract elementary classes: On the model theory of geometric lattices. Ann. Pure Appl. Log. 169(2): 117-145 (2018)
• 
  Gianluca Paolini:
  Independence in Model Theory and Team Semantics. Bull. Symb. Log. 24(4): 461-462 (2018)
• 2017
• 
  Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen:
  A logic for arguing about probabilities in measure teams. Arch. Math. Log. 56(5-6): 475-489 (2017)
• 
  Gianluca Paolini, Saharon Shelah:
  No Uncountable Polish Group Can be a Right-Angled Artin Group. Axioms 6(2): 13 (2017)
• 
  Gianluca Paolini:
  A Finite Axiomatization of G-Dependence. J. Log. Lang. Inf. 26(3): 293-302 (2017)
• 2016
• 
  Tapani Hyttinen, Gianluca Paolini:
  Reduction of database independence to dividing in atomless Boolean algebras. Arch. Math. Log. 55(3-4): 505-518 (2016)
• 
  Gianluca Paolini, Jouko Väänänen:
  Dependence Logic in pregeometries and ω-stable Theories. J. Symb. Log. 81(1): 32-55 (2016)
• 2015
• 
  Gianluca Paolini:
  Independence logic and abstract independence relations. Math. Log. Q. 61(3): 202-216 (2015)
• 
  Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen:
  Quantum Team Logic and Bell's inequalities. Rev. Symb. Log. 8(4): 722-742 (2015)