Filters








18,888 Hits in 5.1 sec

Preface: Theory and Applications of Abstraction, Substitution and Naming

Maribel Fernández, Christian Urban
2011 Journal of automated reasoning  
The first International Workshop on Theory and Applications of Abstraction, Substitution and Naming (TASSN) took place in Edinburgh in 2007, followed by a second workshop in York in 2009, associated to  ...  Formal treatments of abstract syntax have proved harder to develop, especially those addressing properties related to substituting structures for variables, binding of names and fresh name generation.  ...  In Encoding abstract syntax without fresh names, Lakin and Pitts recall the main features of the language and develop a theory of contextual equivalence for it.  ... 
doi:10.1007/s10817-011-9217-2 fatcat:p7pu4z5be5grng44bmhnsueks4

Preface

Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine
2011 Theoretical Computer Science  
Preface This special issue contains extended versions of selected works and invited speaker's contributions presented at the Third and Fourth Workshops on Logical and Semantical Frameworks with Applications  ...  Delia Kesner and Fabien Renaud, in "A Prismoid Framework for Languages with Resources", describe a family of lambdacalculi with explicit substitutions, explicit copy, and explicit erase.  ...  Last, but not least, Luis Schechter and Marcelo Benevides, in ''A Study on Multi-Dimensional Products of Graphs and Hybrid Logics'', explain a novel application of hybrid logic.  ... 
doi:10.1016/j.tcs.2011.06.002 fatcat:nkejks5grzhv7hpykplh4f4mhu

Preface [chapter]

1998 Dictionary of the Theatre  
Is it merely a coincidence that "absurd" has given way to "abstraction"? And is not abstraction a better response than absurdity to the proliferation of new forms?  ...  Any lexicon fixes language use at a particular point in its evolution, takes an inventory of naming signs and defines things named using existing terms.  ...  TRANSLATOR'S ACKNOWLEDGMENTS I would like to acknowledge the support provided by the Canada Council and the Government of France.  ... 
doi:10.3138/9781442673908-002 fatcat:zxjrv6zhjra7hpo666sbk4k62m

Preface [chapter]

1989 Reading Rawls  
Second, there has been considerable elaboration and evolution of Rawls' theory in the last fifteen years, some of it in response to the work in this collection.  ...  This collection of essays includes many of the best initial critical responses to John Rawls' A Theory of Justice.  ...  Rawls' principles require for their interpretation a usable index of primary social goods. I already noted Nagel's worries about abstracting from life plans and substituting primary goods.  ... 
doi:10.1515/9781503620919-002 fatcat:6tdyyum7mfdclaszu675uub6wy

Preface [chapter]

2022 Sex Is as Sex Does  
Preface I live in New York State.  ...  An empirical case might be a particular application of a policy on sex definition at a particular agency at a particular moment in time; a general theory might attempt to set out a globalizing account  ... 
doi:10.18574/nyu/9781479812011.003.0003 fatcat:klrspkeiivd4fferpp2vn327gu

Preface [chapter]

2020 Handbook of Analytical Studies in Islamic Finance and Economics  
There are of course insiders who defend, hard and fast, the dominant theory and the system that has resulted from its application.  ...  "The problem of excess", Sociological Theory, vol. 32, no. 1, pp.1-26. Preface by anthropologists.  ... 
doi:10.1515/9783110587920-202 fatcat:punox624gfc4dmapiwlcp6s5fm

Preface [chapter]

2013 Religious Conversion  
In his preface he states that he has in no way altered his principles, but only changed the method of their application.  ...  The theories of Freud on the subject are that the sexual instincts (Sexuelle Triebregungen) axe extraordinarily plastic and that it is perfectly possible, therefore, for one to become substituted for another  ...  Take now in my diffuse speech Francis and Poverty for these lovers." This clearly shows the association of love and poverty and the mystic union between Poverty and St.  ... 
doi:10.4324/9781315010670-5 fatcat:5uccvlek7nh6dntok6mjjqfh6a

PREFACE [chapter]

1985 Developments in Soil Mechanics and Foundation Engineering Volume 2  
a prime case for the application of the theory of couple stresses (Cosserat and Cosserat, 1909; Mindlin, 1963; Koiter, 1964; Fung, 1965) .  ...  A model of nonlinearly hardening materials for complex loadings, Proc. 7th US National Congress of Appl. Mech., Boulder, 149 (Abstract), 1974 and Acta Mech., 21, 173-92.  ... 
doi:10.4324/9780203975879-0 fatcat:lampvnpzeffotmibnirlf5746a

Preface

Wacana Journal of the humanities of Indonesia
2010 Wacana: Journal of the Humanities of Indonesia  
The quote from The Jakarta Post above mentions two female names, Triyaningsih and Ratnawati that have been made though the application of productive name-making procedures.  ...  Wales points out that in many discussions of personal pronouns, it is suggested that the motivation for substitution (that is, substituting an NP for a pronoun) is avoidance of repetition.  ...  The length of the Abstract should be not more than 150 words. • Keywords in English.  ... 
doi:10.17510/wjhi.v12i2.131 fatcat:x4fthohrqfhlva3cqixml54nbe

Frontmatter, Table of Contents, Preface, Workshop Organization

Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß, Marc Herbstritt
2015 International Conference on Rewriting Techniques and Applications  
OASIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge.  ...  OASIcs -OpenAccess Series in Informatics OASIcs aims at a suitable publication venue to publish peer-reviewed collections of papers emerging from a scientific event.  ...  In particular we would like to thank Mark Herbstritt and Michael Wagner for their very helpful and always prompt support during production of the OASIcs proceedings.  ... 
doi:10.4230/oasics.wpte.2015.i dblp:conf/rta/X15 fatcat:pgv2pjd3vzdwra3a7zthauerzq

Preface [chapter]

Jan-Hendrik Heinrichs, Markus Rüther, Mandy Stake, Julia Ihde
2022 Neuroenhancement  
The decisive reason assumption of the restrictive views 6.2.3 The burden of proof strategy of the permissive views . 6.2.4 Lack of transparency in ethical grounding . . . . . .  ...  Preface In a very general sense, enhancement is a process of improving the capabilities of a human person. Improvement can be achieved by invasive and non-invasive means or methods.  ...  While this might at first sound quite abstract, some authors tend to refer to a set of concrete examples of possible biotechnological interventions and discuss animal studies where the effects have been  ... 
doi:10.5771/9783495999615-9 fatcat:h5zo37l7lje4vdygybtjzebqoi

Preface [chapter]

David Yeandle
2021 A Victorian Curate  
An abstract is proverbially dull reading, and a whole series of abstracts is inconceivably depressing after a time, even if, as in this case, they are intelligently and carefully performed.  ...  What he was asked to do was to form some intelligent theories on the mass of crude fact, and then to make the theory and the narrative of fact mutually illustrate each other.  ...  The name of Luther is a household Appendix II of Germany and of things Germanic.  ... 
doi:10.11647/obp.0248.15 fatcat:b4dwc7z53nci7pwukofzyczyaq

Preface

1891 Camden New Series  
applications to the King.  ...  In the heat of his opposition to these theories of abstract right which he heard put forward, Ireton denied all political rights to persons not freeholders possessing a permanent interest in the country  ...  Other parties might be formed and put forth other schemes for PREFACE.  ... 
doi:10.1017/s2042170200000590 fatcat:ewzwnbgh4zf5na2axpd2q65ml4

Preface / Acknowledgements

1989 Man and Nature  
: Theory and Applications (POSTA'03; POSTA'06; POSTA'09).  ...  There is a large number of excellent books and survey papers covering this vast topic (including both theory and applications).  ...  Software layout of master node Power on and general initialisation  ... 
doi:10.7202/1012590ar fatcat:hjpvebmfbbcy7aku3pdvhuakdm

Preface, acknowledgement [chapter]

2003 Plastics Engineered Product Design  
: Theory and Applications (POSTA'03; POSTA'06; POSTA'09).  ...  There is a large number of excellent books and survey papers covering this vast topic (including both theory and applications).  ...  Software layout of master node Power on and general initialisation  ... 
doi:10.1016/b978-185617416-9/50000-4 fatcat:mqvvysow5ve47gcrdhdmabishm
« Previous Showing results 1 — 15 out of 18,888 results