Filters








12 Hits in 3.0 sec

Page 273 of Computational Linguistics Vol. 24, Issue 2 [page]

1998 Computational Linguistics  
International Journal of Computer Mathematics, 17:9-23. Paun, Gheorghe. 1994. Marcus contextual grammars. After 25 years. Bulletin of the EATCS, 52:263-273. Paun, Gheorghe. 1997.  ...  A formal linguistic model of action systems. Ars Semeiotica, 2:33-47. Paun, Gheorghe. 1982. Contextual Grammars. The Publishing House of the Romanian Academy, Bucharest, in Romanian.  ... 

Notices

2014 Bulletin of Symbolic Logic  
He generalized the latter further than Davidson envisaged, and he became one of the leading proponents of this approach to semantics of natural language.  ...  composition, differences between languages, and the nature of semantic competence.  ...  Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see below).  ... 
doi:10.1017/bsl.2014.42 fatcat:yrnuvqg4unb4tmn6dft2qylqoa

Abstract State Machines 1988-1998: Commented ASM Bibliography [article]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.  ...  Computer Science Press, 1988.The introduction and the first use of ASMs (at the end of the paper).[72] Y.Gurevich. Evolving Algebras. A Tutorial Introduction. Bulletin of EATCS, 43:264-284, 1991.  ...  Source code (the ultimate refinement) for the case study appears in [95] ; the model checking results for the ASM models appears in [124] . [ Develops a simple ASM interpreter for Gödel programs.  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq

Page 2 of Evangelist and Religious Review Vol. 20, Issue 17 [page]

1849 Evangelist and Religious Review  
Ths Prise Essay on the Patent Eatcs.—The pro¬ prietors of the Scientific American recently offered a prize District; A. J.  ...  We have a school Library in our District of some four hundred volumes, and among the reel some thrse or four volumes of Parley’s Magazine. YYhile many of the books of their mother.  ... 

Parameterized algorithms and data reduction for the short secluded s-t-path problem [article]

René van Bevern and Till Fluschnik and Oxana Yu. Tsidulko
2018 arXiv   pre-print
size polynomial in the vertex cover number of the input graph.  ...  polynomial in the feedback edge number of the input graph and with size polynomial in the feedback vertex number, $k$, and $\ell$.  ...  Bulletin of the EATCS, 113, 2014. http://eatcs.org/beatcs/index.php/beatcs/article/view/285. [39] Stefan Kratsch and Magnus Wahlström.  ... 
arXiv:1806.09540v2 fatcat:sqjjnch4cjailc2lylht72kfz4

The 3x+1 problem: An annotated bibliography (1963--1999) (sorted by author) [article]

Jeffrey C. Lagarias
2011 arXiv   pre-print
The 3x+ 1 problem concerns iteration of the map on the integers given by T(n) = (3n+1)/2 if n is odd; T(n) = n/2 if n is even.  ...  The 3x+1 Conjecture asserts that for every positive integer n > 1 the forward orbit of n under iteration by T includes the integer 1.  ...  This machine M 5 of Marxen and Buntrock [Bulletin EATCS No. 40 (1990) 247-251] has Σ(M 5 ) = 47, 176, 870.  ... 
arXiv:math/0309224v13 fatcat:ayplvta5vbamriea77ps5i4zhy

A Survey of Quantum Property Testing

Ashley Montanaro, Ronald de Wolf
2016 Theory of Computing  
[doi:10.1109/TIT.2008.2011524, arXiv:0705.0795] 59 [66] E LDAR F ISCHER: The art of uninformed decisions. Bulletin of the EATCS, 75:97, 2001.  ...  Bulletin of the AMS, 43(4):439–561, 2006.  ... 
doi:10.4086/toc.gs.2016.007 dblp:journals/toc/MontanaroW16 fatcat:wkbziwghrje3pd4mjszyskuuai

O-notation in algorithm analysis [article]

Kalle Rutanen
2016 arXiv   pre-print
We prove that the primitive properties are equivalent to the definition of the O-notation as linear dominance.  ...  We abstract the existing definitions of the O-notation under local linear dominance, and show that it has a characterization by limits over filters for positive functions.  ...  Relation to publications The present paper extends a peer-reviewed publication in the Bulletin of EATCS [12] , a doctoral thesis with the same name, as well as various non-peer-reviewed versions in Arxiv  ... 
arXiv:1309.3210v32 fatcat:fdkni6pbrrauviyeqx6ht32ltq

Ο Ευρωπαϊκός Οργανισμός Άμυνας νομική φύση, σκοποί, λειτουργία [article]

Κωνσταντίνος Ιακωβίδης, Democritus University Of Thrace, Democritus University Of Thrace
2017
«The European Agency Electronic Bulletin Board: A Survey after Two Years», Public Procurement Law Review 18, σελ 2009 187 1 ) 1 «ΝΑΤΟ -ΕU Declaration», Joint Declaration by the President of the European  ...  , JCMS 2015 Volume 53.  ... 
doi:10.26257/heal.duth.3678 fatcat:v7hagmhoxfgjfc2k2e73j67ax4

Optimale Partner offener Systeme [article]

Jan Sürmeli, Humboldt-Universität Zu Berlin, Humboldt-Universität Zu Berlin
2017
If a partner R minimizes the costs of executing L, then R is an optimal partner of L. Our goal is to develop techniques that guarantee the composition of L with optimal partners.  ...  The composition L+R of two open systems L and R can be faulty: For instance, the components deadlock (i.e. mutually wait for each other) or require an unbounded amount of memory.  ...  In: Bulletin of the American Mathematical Society 38.2 (1932), S. 85–88 (siehe S. 130). [DSW06] M. Dumas, M. Spork und K. Wang.  ... 
doi:10.18452/17208 fatcat:7u32wzintbahvldyspfuw7boim

Propriétés structurelles et calculatoires des pavages Propriétés structurelles et calculatoires des pavages

Emmanuel Jeandel, Emmanuel, Emmanuel Jeandel
2011 unpublished
Discrete Mathematics and Theoretical Computer Science, tome 3, pages 109-124, 1999.  ...  Bulletin de la SMF, tome 40, pages 305-323, 1912. [Bor08] B. Borchert. Formal Language characterizations of P, NP, and PSPACE.  ... 
fatcat:oshmqtho5nen3clthry6k4mgyu

Simbolismo e tipologia do baptismo em Tertuliano e Santo Ambrósio: estudo litúrgico-teológico

Bonifácio Bernardo
2019
SRWALBY, The early history of the liturgy (Cambridge 2 1947) 150-165 (al.' edição data de 1913); The 'De sacramentis' a work of St. Ambrose, in JThS 44 (1943) 199s; R. H.  ...  CONNOLLY, The 'De sacramentis', a work of St. Ambrose, in DR 59 (1941) 1-14 (apareceu em separata na Alden Press [Oxfor] 1942); The 'De sacramentis', a work of St.  ...  regarded as proven, but the probability is great that a form mentioning the seven gifts of the Spirit was used!».  ... 
doi:10.34632/didaskalia.1988.898 fatcat:qanibidmlnhw5lavkm3p5e2wwe