Search Results - "PLACE, THOMAS"

Closing Star-Free Closure.

Authors: Place, Thomas Zeitoun, Marc

Source: ACM Transactions on Computational Logic; Jul2025, Vol. 26 Issue 3, p1-62, 62p

SEPARATION FOR DOT-DEPTH TWO.

Authors: PLACE, THOMAS ZEITOUN, MARC

Source: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 3, p1-42, 42p, 1 Diagram

REGULAR TREE LANGUAGES IN LOW LEVELS OF THE WADGE HIERARCHY.

Authors: BOJANCZYK, MIKO LAJ CAVALLARI, FILIPPO PLACE, THOMAS et al.

Source: Logical Methods in Computer Science (LMCS); 2019, Vol. 15 Issue 3, p1-61, 61p

Generic Results for Concatenation Hierarchies.

Authors: Place, Thomas Zeitoun, Marc

Source: Theory of Computing Systems; May2019, Vol. 63 Issue 4, p849-901, 53p

COVERING AND SEPARATION FOR LOGICAL FRAGMENTS WITH MODULAR PREDICATES.

Authors: PLACE, THOMAS RAMANATHAN, VARUN WEIL, PASCAL

Source: Logical Methods in Computer Science (LMCS); Apr2019, Vol. 15 Issue 2, p1-32, 32p

Going Higher in First-Order Quantifier Alternation Hierarchies on Words.

Authors: PLACE, THOMAS ZEITOUN, MARC

Source: Journal of the ACM. Apr2019, Vol. 66 Issue 2, p1-65. 65p.

SEPARATING REGULAR LANGUAGES WITH TWO QUANTIFIER ALTERNATIONS.

Authors: PLACE, THOMAS¹, tplace@labri.fr

Source: Logical Methods in Computer Science (LMCS); 2018, Vol. 14 Issue 4, p1-58, 58p, 2 Diagrams

THE COVERING PROBLEM.

Authors: PLACE, THOMAS ZEITOUN, MARC

Source: Logical Methods in Computer Science (LMCS); 2018, Vol. 14 Issue 3, p1-54, 54p

SEPARATING REGULAR LANGUAGES WITH FIRST-ORDER LOGIC.

Authors: PLACE, THOMAS ZEITOUN, MARC

Source: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 1, p1-31, 31p

COMMONWEALTH V. HOLMES AND THE RULE OF DEFERRAL: SHORT SENTENCES, LONG SENTENCES AND THE ILLUSORY NATURE OF THE GOOD CAUSE EXCEPTION.

Authors: Place, Thomas M.¹

Source: Widener Law Journal. 2016, Vol. 25 Issue 1, p49-82. 34p.

DECIDING DEFINABILITY IN FO2(

Authors: PLACE, THOMAS SEGOUFIN, LUC

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-50, 50p

ON SEPARATION BY LOCALLY TESTABLE AND LOCALLY THRESHOLD TESTABLE LANGUAGES.

Authors: PLACE, THOMAS VAN ROOIJEN, LORIJN ZEITOUN, MARC

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 3, p1-28, 28p

CLOSING DIRECT APPEAL TO INEFFECTIVENESS CLAIMS: THE SUPREME COURT OF PENNSYLVANIA'S DENIAL OF STATE CONSTITUTIONAL RIGHTS.

Authors: Place, Thomas M.¹

Source: Widener Law Journal. 2013, Vol. 22 Issue 3, p687-719. 33p.

BATMAV: A Biologically-Inspired Micro Air Vehicle for Flapping Flight - Design and Fabrication of Skeleton Structure and Wing Membrane.

Authors: Place, Thomas Jefferson

Committee Members: Stefan Seelecke, Committee Chair; Gregory Buckner, Committee Member; Ashok Gopalarathnam, Committee Member

URL: http://www.lib.ncsu.edu/resolver/1840.16/772

Meta-omics reveals role of photosynthesis in microbially induced carbonate precipitation at a CO2-rich geyser.

Authors: Violette MJ Hyland E Burgener L et al.

Source: ISME communications [ISME Commun] 2024 Dec 11; Vol. 4 (1), pp. ycae139. Date of Electronic Publication: 2024 Dec 11 (Print Publication: 2024).

Publication Type: Journal Article

Journal Info: Publisher: Oxford University Press Country of Publication: England NLM ID: 9918205372406676 Publication Model: eCollection Cited Medium: Internet ISSN: 2730-6151 (Electronic) Linking ISSN: 27306151 NLM ISO Abbreviation: ISME Commun Subsets: PubMed not MEDLINE