A framework for studying substitution

QR kód

A framework for studying substitution

This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to human intuitive preconception about the phenomena, so that proofs could be deduced from intuitive motivations more directly t...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerző:	Nestra Härmel
Testületi szerző:	Finno-Ugoric Symposium on Programming Languages and Software Tools (7.) (2001) (Szeged)
Dokumentumtípus:	Cikk
Megjelent:	2002
Sorozat:	Acta cybernetica 15 No. 4
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12700

Hasonló tételek

Grammatical constructions in selective substitution grammars
Szerző: Gonczarowski J., et al.
Megjelent: (1983)

Synchronous forest substitution grammars
Szerző: Maletti Andreas
Megjelent: (2017)

Pedagogical considerations in an e-learning framework [abstract] /
Szerző: Muhi Dániel
Megjelent: (2004)

An algebraic framework for deformable image registration
Szerző: Sánta Zsolt, et al.
Megjelent: (2017)

Incorporating linkage learning into the GeLog framework
Szerző: Fühner Tim, et al.
Megjelent: (2003)

Code coverage measurement framework for android devices
Szerző: Horváth Ferenc, et al.
Megjelent: (2014)

Incorporating linkage learning into the GeLog framework [abstract] /
Szerző: Fühner Tim, et al.
Megjelent: (2002)

An agent-based framework for supporting e-health [abstract] /
Szerző: Gianfranco Pedone
Megjelent: (2006)

External Motivation, the Key to Success in the MOOCs Framework
Szerző: Namestovski Žsolt, et al.
Megjelent: (2018)

Teleonics as a framework for business modelling and IT system design [abstract] /
Szerző: Horváth Gábor
Megjelent: (2004)

Computing equivalent affinity classes in a fuzzy connectedness framework
Szerző: Gulyás Gergely, et al.
Megjelent: (2014)

Framework for generating object-oriented databases from conceptual specifications
Szerző: Kovács György, et al.
Megjelent: (1997)

Computing equivalent affinity classes in a fuzzy connectedness framework
Szerző: Gulyás Gergely, et al.
Megjelent: (2014)

A general framework for evaluating driver schedules in public transport
Szerző: Balogh János, et al.
Megjelent: (2022)

Metamodel-based modeling and model transformation framework supporting inheritance and constrants [abstract] /
Szerző: Lengyel László, et al.
Megjelent: (2004)

A practical framework for real life webshop sales promotion targeting
Szerző: Kőrösi Gábor, et al.
Megjelent: (2021)

Protein classification in a machine learning framework
Szerző: Kertész-Farkas Attila
Megjelent: (2009)

Building dynamic web applications in the microsoft .NET framework using a pure model view controller pattern [abstract] /
Szerző: Bornemissza Csaba
Megjelent: (2004)

A study of portability in the deployment of WWW
Szerző: Micsik András
Megjelent: (1999)

A study of portability in the deployment of www [abstract] /
Szerző: Micsik András
Megjelent: (1998)

A comparative study on the privacy risks of face recognition libraries
Szerző: Fábián István, et al.
Megjelent: (2021)

A case study of advancing remote sensing image analysis
Szerző: Giachetta Roberto, et al.
Megjelent: (2015)

A probabilistic quality model for C# - an industrial case study
Szerző: Hegedűs Péter
Megjelent: (2013)

Comparative study of four UML based CASE tools [abstract] /
Szerző: Jişa Dan Laurenţiu
Megjelent: (2002)

Case study of SIRDS algorithms based autostereoscopic image [abstract] /
Szerző: Minh Son Tran, et al.
Megjelent: (2000)

A comparative study of C++ standard template library's formal specification [abstract] /
Szerző: Pataki Norbert, et al.
Megjelent: (2008)

A comparative study of spanning tree and gossip protocols for aggregation
Szerző: Nyers Lehel, et al.
Megjelent: (2015)

Algebraic studies of giant chromosomes in genus Chironomus [abstract] /
Szerző: Surányi Szabolcs
Megjelent: (2004)

Experimental Study on Multivalued Phantoms Using Different Filters in the DART Algorithm
Szerző: Nagy Antal
Megjelent: (2015)

Test functions and to test functions a framework for global optimization on Stiefel manifolds : [abstract] /
Szerző: Balogh János, et al.
Megjelent: (2002)

Surprises with different C/C++ implementations and a quizzical MAPLE example - two short case studies in programming [abstract] /
Szerző: Bársony István
Megjelent: (2010)

Deep-water framework The Swiss army knife of humans working with machine learning models /
Szerző: Ferenc Rudolf, et al.
Megjelent: (2020)

Generation of normal control data for the evaluation of myocardial perfusion studies [abstract] /
Szerző: Dudásné Nagy Marianna, et al.
Megjelent: (2000)

Is JavaScript Call Graph Extraction Solved Yet? A Comparative Study of Static and Dynamic Tools
Szerző: Antal Gábor, et al.
Megjelent: (2023)

An Extensive Study on Model Architecture and Program Representation in the Domain of Learning-based Automated Program Repair
Szerző: Horváth Dániel, et al.
Megjelent: (2023)

An empirical study of reconstructing hv-convex binary matrices from horizontal and vertical projections
Szerző: Ozsvár Zoltán, et al.
Megjelent: (2013)

Substitutional Diversity-Oriented Synthesis and In Vitro Anticancer Activity of Framework-Integrated Estradiol-Benzisoxazole Chimeras
Szerző: Kovács Ferenc, et al.
Megjelent: (2022)

Modular reinforcement learning a case study in a robot domain /
Szerző: Kalmár Zsolt, et al.
Megjelent: (2000)

Regional multicriteria and multimodal route planning system for public transportation a case study /
Szerző: Békési József
Megjelent: (2018)

An introductory statistical study of Hungarian word order
Szerző: Nemeskey Dávid Márk
Megjelent: (2022)