Results 21 to 30 of about 237 (86)
Ramsey Quantifiers in First-Order Logic: Complexity and Applications to Verification [PDF]
The verification of software correctness is becoming increasingly important due to the widespread use of computers, particularly in safety-critical environments.
Bergsträßer, Pascal
core +1 more source
UEG Week 2019 Poster Presentations
, 2019 United European Gastroenterology Journal, Volume 7, Issue S8, Page 189-1030, October 2019.
wiley +1 more source
Cumulative reports and publications through December 31, 1988 [PDF]
This document contains a complete list of ICASE Reports. Since ICASE Reports are intended to be preprints of articles that will appear in journals or conference proceedings, the published reference is included when it is ...
core +1 more source
Languages Generated by Iterated Idempotencies. [PDF]
, 2006 The rewrite relation with parameters m and n and with the possible length limit = k or :::; k we denote by w~, =kW~· or ::;kw~ respectively. The idempotency languages generated from a starting word w by the respective operations are wDAlso other special ...
Leupold, Klaus-Peter
core +2 more sources
UEG Week 2018 Oral Presentations
, 2018 United European Gastroenterology Journal, Volume 6, Issue S8, Page A1-A134, October 2018.
wiley +1 more source
Cumulative reports and publications [PDF]
A complete list of Institute for Computer Applications in Science and Engineering (ICASE) reports are listed. Since ICASE reports are intended to be preprints of articles that will appear in journals or conference proceedings, the published reference is ...
core +1 more source
Fair and Lovely: Standards of Beauty, Globalization, and the Modern Indian Woman [PDF]
, 2011 With the expansion of globalization in the modern era, ideas from individual cultures are more easily able to spread to other parts of the world. One set of cultural standards that may be spreading to India is that of beauty, where a media with an ...
Gelles, Rebecca
core +1 more source
UEG Week 2018 Poster Presentations
, 2018 United European Gastroenterology Journal, Volume 6, Issue S8, Page A135-A747, October 2018.
wiley +1 more source
Cumulative reports and publications through December 31, 1990 [PDF]
This document contains a complete list of ICASE reports. Since ICASE reports are intended to be preprints of articles that will appear in journals or conference proceedings, the published reference is included when it is ...
core +1 more source
23rd Congress of the European Hematology Association Stockholm, Sweden, June 14‐17, 2018
, 2018 HemaSphere, Volume 2, Issue S1, Page 1-1113, June 2018.
wiley +1 more source