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

• 2017
• 
  Arnaud Carayol, Zoltán Ésik:
  An analysis of the equational properties of the well-founded fixed point. J. Log. Algebraic Methods Program. 86(1): 308-318 (2017)
• 2016
• 
  Victorio Albani de Carvalho, João Paulo A. Almeida, Giancarlo Guizzardi:
  Using a Well-Founded Multi-level Theory to Support the Analysis and Representation of the Powertype Pattern in Conceptual Modeling. CAiSE 2016: 309-324
• 
  Arnaud Carayol, Zoltán Ésik:
  An Analysis of the Equational Properties of the Well-Founded Fixed Point. KR 2016: 533-536
• 2015
• 
  Arnaud Carayol, Zoltán Ésik:
  An analysis of the equational properties of the well-founded fixed point. CoRR abs/1511.09423 (2015)
• 2009
• 
  Alfredo Cuzzocrea, Wei Wang:
  Pushing Theoretically-Founded Probabilistic Guarantees in. New Trends in Data Warehousing and Data Analysis 2009: 1-30
• 2008
• 
  Peizhi Wang, Xinying Liu, Wenbo Li:
  Analysis on Features and Countermeasures of Foreign-founded Enterprises' Sole Proprietorship in China. ISECS 2008: 838-842
• 2005
• 
  Jianjun Shen, Sihan Qing, Qingni Shen, Liping Li:
  Covert Channel Identification Founded on Information Flow Analysis. CIS (2) 2005: 381-387
• 
  Amir Pnueli, Andreas Podelski, Andrey Rybalchenko:
  Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. TACAS 2005: 124-139
• 2004
• 
  Ikumi Horie, Kazunori Yamaguchi:
  Structural analysis for web documentation using the non-well-founded set. Hypertext 2004: 42-43
• 2000
• 
  Hajime Eto:
  Market analysis of mathematics-based software in an expert-founded venture. Int. J. Technol. Manag. 19(7/8): 739-759 (2000)
• 1999
• 
  Takashi Nakayama, Koichi Tanaka, Yuko Nishimoto:
  Computer-Assisted Thermal Analysis System Founded on Case-Based Reasoning. J. Chem. Inf. Comput. Sci. 39(5): 819-832 (1999)