Artykuły w czasopismach na temat „Rewriting techniques”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Rewriting techniques”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
GIESL, JÜRGEN, i AART MIDDELDORP. "Transformation techniques for context-sensitive rewrite systems". Journal of Functional Programming 14, nr 4 (7.06.2004): 379–427. http://dx.doi.org/10.1017/s0956796803004945.
Pełny tekst źródłaCarral, David, Larry González i Patrick Koopmann. "From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment". Proceedings of the AAAI Conference on Artificial Intelligence 33 (17.07.2019): 2736–43. http://dx.doi.org/10.1609/aaai.v33i01.33012736.
Pełny tekst źródłaKirchner, Hélène, i Pierre Lescanne. "Rewriting techniques and applications, RTA'91". ACM SIGACT News 22, nr 3 (czerwiec 1991): 24–30. http://dx.doi.org/10.1145/126537.126539.
Pełny tekst źródłaMillen, Jonathan. "Rewriting Techniques in the Constraint Solver". Electronic Notes in Theoretical Computer Science 234 (marzec 2009): 77–91. http://dx.doi.org/10.1016/j.entcs.2009.02.073.
Pełny tekst źródłaRoşu, Grigore, i Klaus Havelund. "Rewriting-Based Techniques for Runtime Verification". Automated Software Engineering 12, nr 2 (kwiecień 2005): 151–97. http://dx.doi.org/10.1007/s10515-005-6205-y.
Pełny tekst źródłaGazeau, Ivan, Dale Miller i Catuscia Palamidessi. "Non-local Robustness Analysis via Rewriting Techniques". Electronic Proceedings in Theoretical Computer Science 103 (14.12.2012): 65. http://dx.doi.org/10.4204/eptcs.103.8.
Pełny tekst źródłaVenetis, Tassos, Giorgos Stoilos i Vasilis Vassalos. "Rewriting Minimizations for Efficient Query Answering over Ontologies". International Journal on Artificial Intelligence Tools 26, nr 05 (październik 2017): 1760024. http://dx.doi.org/10.1142/s0218213017600247.
Pełny tekst źródłaAmbite, J. L., i C. A. Knoblock. "Planning by Rewriting". Journal of Artificial Intelligence Research 15 (1.09.2001): 207–61. http://dx.doi.org/10.1613/jair.754.
Pełny tekst źródłaDe Sutter, Bjorn, Bruno De Bus i Koen De Bosschere. "Link-time binary rewriting techniques for program compaction". ACM Transactions on Programming Languages and Systems 27, nr 5 (wrzesień 2005): 882–945. http://dx.doi.org/10.1145/1086642.1086645.
Pełny tekst źródłaGreco, Sergio, Francesca Spezzano i Irina Trubitsyna. "Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques". IEEE Transactions on Knowledge and Data Engineering 27, nr 3 (1.03.2015): 621–35. http://dx.doi.org/10.1109/tkde.2014.2339816.
Pełny tekst źródłaBunsen, Masatoshi, Hirosuke Furuta, Kuniaki Aragane i Atsushi Okamoto. "Improved Holographic Recording Techniques for Data-Page Rewriting". Japanese Journal of Applied Physics 47, nr 7 (18.07.2008): 5977–80. http://dx.doi.org/10.1143/jjap.47.5977.
Pełny tekst źródłaBOULTON, RICHARD J. "Transparent optimisation of rewriting combinators". Journal of Functional Programming 9, nr 2 (marzec 1999): 113–46. http://dx.doi.org/10.1017/s0956796899003391.
Pełny tekst źródłaECHAHED, RACHID. "Foreword: special issue on term and graph rewriting". Mathematical Structures in Computer Science 28, nr 8 (6.07.2018): 1287–89. http://dx.doi.org/10.1017/s0960129518000191.
Pełny tekst źródłaKIRCHNER, HÉLÈNE, i PIERRE-ETIENNE MOREAU. "Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories". Journal of Functional Programming 11, nr 2 (marzec 2001): 207–51. http://dx.doi.org/10.1017/s0956796800003907.
Pełny tekst źródłaBenedikt, Michael, Maxime Buron, Stefano Germano, Kevin Kappelmann i Boris Motik. "Rewriting the infinite chase". Proceedings of the VLDB Endowment 15, nr 11 (lipiec 2022): 3045–57. http://dx.doi.org/10.14778/3551793.3551851.
Pełny tekst źródłaGreco, Sergio, Francesca Spezzano i Irina Trubitsyna. "Stratification criteria and rewriting techniques for checking chase termination". Proceedings of the VLDB Endowment 4, nr 11 (sierpień 2011): 1158–68. http://dx.doi.org/10.14778/3402707.3402750.
Pełny tekst źródłaKanovich, Max. "Finding direct partition bijections by two-directional rewriting techniques". Discrete Mathematics 285, nr 1-3 (sierpień 2004): 151–66. http://dx.doi.org/10.1016/j.disc.2004.01.017.
Pełny tekst źródłaPapadopoulos, George A. "Concurrent object-oriented programming using term graph rewriting techniques". Information and Software Technology 38, nr 8 (styczeń 1996): 539–47. http://dx.doi.org/10.1016/0950-5849(96)01093-2.
Pełny tekst źródłaImprialou, Martha, Giorgos Stoilos i Bernardo Cuenca Grau. "Benchmarking Ontology-Based Query Rewriting Systems". Proceedings of the AAAI Conference on Artificial Intelligence 26, nr 1 (20.09.2021): 779–85. http://dx.doi.org/10.1609/aaai.v26i1.8215.
Pełny tekst źródłaBaziotis, Stefanos, Daniel Kang i Charith Mendis. "Dias: Dynamic Rewriting of Pandas Code". Proceedings of the ACM on Management of Data 2, nr 1 (12.03.2024): 1–27. http://dx.doi.org/10.1145/3639313.
Pełny tekst źródłaKremer, Steve, i Paliath Narendran. "Foreword to the special issue on security and rewriting techniques". Information and Computation 238 (listopad 2014): 1. http://dx.doi.org/10.1016/j.ic.2014.07.002.
Pełny tekst źródłaGöbel, Manfred. "Rewriting Techniques and Degree Bounds for Higher Order Symmetric Polynomials". Applicable Algebra in Engineering, Communication and Computing 9, nr 6 (1.07.1999): 559–73. http://dx.doi.org/10.1007/s002000050118.
Pełny tekst źródłaDong, Rui, Jie Liu, Yuxuan Zhu, Cong Yan, Barzan Mozafari i Xinyu Wang. "SlabCity: Whole-Query Optimization Using Program Synthesis". Proceedings of the VLDB Endowment 16, nr 11 (lipiec 2023): 3151–64. http://dx.doi.org/10.14778/3611479.3611515.
Pełny tekst źródłaRilett Wood, Joyce. "Writing and Rewriting of Psalm 22". Studies in Religion/Sciences Religieuses 48, nr 2 (czerwiec 2019): 189–215. http://dx.doi.org/10.1177/0008429819830071.
Pełny tekst źródłaCOHEN, DANIEL E. "String rewriting and homology of monoids". Mathematical Structures in Computer Science 7, nr 3 (czerwiec 1997): 207–40. http://dx.doi.org/10.1017/s0960129596002149.
Pełny tekst źródłaYVON, FRANÇOIS. "Rewriting the orthography of SMS messages". Natural Language Engineering 16, nr 2 (24.03.2010): 133–59. http://dx.doi.org/10.1017/s1351324909990258.
Pełny tekst źródłaRodriguez, Olivier, Federico Ulliana i Marie-Laure Mugnier. "Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting". Proceedings of the VLDB Endowment 16, nr 11 (lipiec 2023): 2699–713. http://dx.doi.org/10.14778/3611479.3611481.
Pełny tekst źródłaElimam, Fatima. "Translation: Practicing Rewriting in Context". European Journal of Contemporary Education and E-Learning 2, nr 1 (1.01.2024): 253–56. http://dx.doi.org/10.59324/ejceel.2024.2(1).21.
Pełny tekst źródłaDunn, Dana S. "Lessons Learned from an Interdisciplinary Writing Course: Implications for Student Writing in Psychology". Teaching of Psychology 21, nr 4 (grudzień 1994): 223–27. http://dx.doi.org/10.1207/s15328023top2104_4.
Pełny tekst źródłaDespeyroux, Joëlle, i Robert Harper. "Special issue on Logical Frameworks and Metalanguages http//www-sop.inria.fr/certilab/LFM00/cfp-jfp.html". Journal of Functional Programming 10, nr 1 (styczeń 2000): 135–36. http://dx.doi.org/10.1017/s0956796899009892.
Pełny tekst źródłaKœhler, Thomas, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder i Michel Steuwer. "Guided Equality Saturation". Proceedings of the ACM on Programming Languages 8, POPL (5.01.2024): 1727–58. http://dx.doi.org/10.1145/3632900.
Pełny tekst źródłaDespland, Annie, Monique Mazaud i Raymond Rakotozafy. "Using rewriting techniques to produce code generators and proving them correct". Science of Computer Programming 15, nr 1 (listopad 1990): 15–54. http://dx.doi.org/10.1016/0167-6423(90)90043-d.
Pełny tekst źródłaBOMANSON, JORI, i TOMI JANHUNEN. "Boosting Answer Set Optimization with Weighted Comparator Networks". Theory and Practice of Logic Programming 20, nr 4 (11.05.2020): 512–51. http://dx.doi.org/10.1017/s147106842000006x.
Pełny tekst źródłaLukhovitskiy, Lev Vsevolodovich. "Early Palaiologan Hagiography: “Old” and “New” Saints under the Shadow of Symeon Metaphrastes". Античная древность и средние века 50 (2022): 283–311. http://dx.doi.org/10.15826/adsv.2022.50.017.
Pełny tekst źródłaDewi, Indah Rosalina, Akbar Al Masjid Masjid, Biya Ebi Praheto i Trisharsiwi Trisharsiwi. "Flipbook Sebagai Media untuk Meningkatkan Keterampilan Menulis Kembali Teks Non-fiksi pada Peserta Didik Kelas 5 Sekolah Dasar". Indonesian Journal of Learning and Educational Studies 1, nr 2 (3.12.2023): 78–86. http://dx.doi.org/10.62385/ijles.v1i2.59.
Pełny tekst źródłaGuisado-Gámez, Joan, David Tamayo-Domènech, Jordi Urmeneta i Josep Lluís Larriba-Pey. "ENRICH: A Query Rewriting Service Powered by Wikipedia Graph Structure". Proceedings of the International AAAI Conference on Web and Social Media 10, nr 2 (4.08.2021): 47–50. http://dx.doi.org/10.1609/icwsm.v10i2.14829.
Pełny tekst źródłaHAMILTON, CYNTHIA S. "Strange Birds: Rewriting The Maltese Falcon". Journal of American Studies 47, nr 3 (16.01.2013): 699–718. http://dx.doi.org/10.1017/s0021875812001752.
Pełny tekst źródłaGESER, ALFONS, i SERGEI GORLATCH. "Parallelizing functional programs by generalization". Journal of Functional Programming 9, nr 6 (listopad 1999): 649–73. http://dx.doi.org/10.1017/s0956796899003536.
Pełny tekst źródłaCalabretta, Nicola, Hyun-Do Jung, Javier Herrera Llorente, Eduward Tangdiongga, Ton Koonen i Harm Dorren. "All-Optical Techniques Enabling Packet Switching with Label Processing and Label Rewriting". Journal of Telecommunications and Information Technology, nr 1 (26.06.2023): 20–28. http://dx.doi.org/10.26636/jtit.2009.1.909.
Pełny tekst źródłaFuad, A. Jauhar. "Storytelling Variations and Student Writing Ability in Madrasah Ibtidaiyah". MODELING: Jurnal Program Studi PGMI 6, nr 1 (13.03.2019): 13–30. http://dx.doi.org/10.36835/modeling.v6i1.347.
Pełny tekst źródłaKUSAKARI, Keiichirou, i Masahiko SAKAI. "Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques". IEICE Transactions on Information and Systems E92-D, nr 2 (2009): 235–47. http://dx.doi.org/10.1587/transinf.e92.d.235.
Pełny tekst źródłaBreitner, Joachim. "Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation". Electronic Proceedings in Theoretical Computer Science 265 (16.02.2018): 1. http://dx.doi.org/10.4204/eptcs.265.1.
Pełny tekst źródłaNasridinov, Aziz, Jeong-Yong Byun i Young-Ho Park. "A Study on Detection Techniques of XML Rewriting Attacks in Web Services". International Journal of Control and Automation 7, nr 1 (31.01.2014): 391–400. http://dx.doi.org/10.14257/ijca.2014.7.1.35.
Pełny tekst źródłaMartos, Josep Lluís. "La reescritura del maldit de Joan Roís de Corella". Zeitschrift für romanische Philologie 135, nr 3 (12.09.2019): 794–817. http://dx.doi.org/10.1515/zrp-2019-0043.
Pełny tekst źródłaRenkema, Jan. "Mercurius en de Muzen". Toegepaste Taalwetenschap in Artikelen 28 (1.01.1987): 18–33. http://dx.doi.org/10.1075/ttwia.28.03ren.
Pełny tekst źródłaKotsireas, Ilias, Temur Kutsia i Dimitris E. Simos. "Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques". Annals of Mathematics and Artificial Intelligence 88, nr 1-3 (29.11.2018): 213–36. http://dx.doi.org/10.1007/s10472-018-9607-9.
Pełny tekst źródłaMartínez Saucedo, Jesús. "A Eulogy for My Father". Departures in Critical Qualitative Research 10, nr 3 (2021): 10–18. http://dx.doi.org/10.1525/dcqr.2021.10.3.10.
Pełny tekst źródłaSAMOKHIN, IVAN S., i NATALYA M. NEPOMNYASHCHIKH. "“LIVE” AND “DEAD” PARAPHRASING: A RESEARCH BASED ON THE SERVICES PROVIDED BY MODERN ONLINE PROGRAMMES". Theoretical and Applied Linguistics, nr 3 (2021): 161–74. http://dx.doi.org/10.22250/2410-7190_2021_7_3_161_174.
Pełny tekst źródłaMuchlis, Madian Muhammad, Taufik Hidayat i Ili Yanti. "Higher Order Thinking Skill (HOTS) Analysis of Students of the Institute of Islamic and Arabic Sciences (LIPIA) on Rewriting Ta'bir Books in Book Creator". Lisanudhad: Jurnal Bahasa, Pembelajaran, dan Sastra Arab 10, nr 01 (24.08.2023): 157–75. http://dx.doi.org/10.21111/lisanudhad.v10i01.9719.
Pełny tekst źródłaOzolins, Uldis. "Rewriting the AUSIT Code of Ethics – principles, practice, dispute". Babel. Revue internationale de la traduction / International Journal of Translation 60, nr 3 (31.12.2014): 347–70. http://dx.doi.org/10.1075/babel.60.3.05ozu.
Pełny tekst źródła